Publication:4342078
From MaRDI portal
zbMath0875.03030MaRDI QIDQ4342078
Publication date: 8 July 1997
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Remarks on the Gupta-Belnap fixed-point property fork-valued clones, REFERENCE IN ARITHMETIC, On the Type-Free Paracoherent Foundation of Mathematics with the Sedate Extension of Classical Logic by the Librationist Set Theory £, and Specifically on Why £Is Neither Inconsistent nor Contradictory nor Paraconsistent, A UNIFIED THEORY OF TRUTH AND PARADOX, Contextual-hierarchical reconstructions of the strengthened liar problem, Leśniewski's early Liar, Tarski and natural language, Alethic reference, Reference and truth, Comparing fixed-point and revision theories of truth, The elimination of self-reference: Generalized Yablo-series and the theory of truth, Periodicity and reflexivity in revision sequences, Tarski on ``essentially richer metalanguages, Dynamic semantics and circular propositions, Truth and the liar in De Morgan-valued models, Supervaluation-style truth without supervaluations, Models for a paraconsistent set theory, Possible-worlds semantics for modal notions conceived as predicates, Vagueness and blurry sets, Arithmetic with satisfaction, Revision without revision sequences: self-referential truth, Cofinally invariant sequences and revision, Revision without revision sequences: circular definitions, Modal frame correspondences and fixed-points