Pages that link to "Item:Q1123891"

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

Displaying 24 items.

• A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices (Q503219) (← 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)
• A new conditional for naive truth theory (Q1934956) (← links)
• Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
• Galois connections for bilattices (Q2036385) (← links)
• Identity and aboutness (Q2056226) (← 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)
• Bonsai: Cutting Models Down to Size (Q3455087) (← links)
• The Geometry of Negation (Q3647200) (← links)
• Construction of Truth Predicates: Approximation Versus Revision (Q4254566) (← links)
• An abstract algebraic logic approach to tetravalent modal logics (Q4508244) (← links)
• (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)