Pages that link to "Item:Q1123891"

The following pages link to Bilattices and the theory of truth (Q1123891):

Displaying 39 items.

• On truth-gaps, bipolar belief and the assertability of vague propositions (Q359975) (← links)
• A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices (Q503219) (← links)
• Deflationary truth and the ontology of expressions (Q513895) (← links)
• Combining explicit negation and negation by failure via Belnap's logic (Q673380) (← links)
• Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
• A family of strict/tolerant logics (Q830368) (← links)
• Weakly idempotent lattices and bilattices, non-idempotent Plonka functions. (Q895871) (← links)
• A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\) (Q1037603) (← links)
• A theory of truth that prefers falsehood (Q1366760) (← links)
• A theory of truthmaker content. I: Conjunction, disjunction and negation (Q1696468) (← links)
• Some lattice models of bilinear logic (Q1906000) (← links)
• A new conditional for naive truth theory (Q1934956) (← links)
• Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
• Bi-facial truth: a case for generalized truth values (Q2016060) (← links)
• Galois connections for bilattices (Q2036385) (← links)
• Identity and aboutness (Q2056226) (← links)
• Expanding Belnap: dualities for a new class of default bilattices (Q2200478) (← links)
• Valuations: bi, tri, and tetra (Q2278844) (← links)
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
• The logic of generalized truth values and the logic of bilattices (Q2350215) (← links)
• Filter theory of bilattices in the semantics of logic programming (Q2721571) (← links)
• (Q3108631) (← links)
• Bonsai: Cutting Models Down to Size (Q3455087) (← links)
• Bipolarity in bilattice logics (Q3537542) (← links)
• The Geometry of Negation (Q3647200) (← links)
• Bilattices and Modal Operators (Q3971113) (← links)
• On the structure of some bilattices (Q3979198) (← links)
• Construction of Truth Predicates: Approximation Versus Revision (Q4254566) (← links)
• An abstract algebraic logic approach to tetravalent modal logics (Q4508244) (← links)
• Reasoning tractably about explicit belief: A model-theoretic approach (Q4509295) (← links)
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond (Q4531578) (← links)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
• Four-Valued Logics BD and DM4: Expansions (Q4608553) (← links)
• The anatytic conception of truth and the foundations of arithmetic (Q4953208) (← links)
• The Strict/Tolerant Idea and Bilattices (Q5020168) (← links)
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473740) (← links)
• Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness (Q5937806) (← links)
• Automatic theorem proving in paraconsistent logics: Theory and implementation (Q6488523) (← links)
• On logics and semantics for general logic programs (Q6623792) (← links)