Pages that link to "Item:Q1685563"

The following pages link to 40 years of FDE: an introductory overview (Q1685563):

Displaying 41 items.

• A note on FDE ``all the way up'' (Q778734) (← links)
• Routley star and hyperintensionality (Q830371) (← links)
• Non-distributive relatives of ETL and NFL (Q2021563) (← links)
• A general framework for FDE-based modal logics (Q2027214) (← links)
• Hilbert-style axiomatization of first-degree entailment and a family of its extensions (Q2041966) (← links)
• Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
• Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← links)
• Subminimal negation on the Australian plan (Q2079709) (← links)
• Valuation semantics for first-order logics of evidence and truth (Q2079711) (← links)
• First-order logics of evidence and truth with constant and variable domains (Q2084569) (← links)
• Paraconsistent Gödel modal logic (Q2104534) (← links)
• Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
• Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
• Paraconsistent metatheory: new proofs with old tools (Q2155941) (← links)
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
• JGXYZ: an ATP system for gap and glut logics (Q2305437) (← links)
• Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
• Requiem for logical nihilism, or: logical nihilism annihilated (Q2695400) (← links)
• A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE (Q2695525) (← links)
• Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
• An Invitation to New Essays on Belnap-Dunn Logic (Q3305604) (← links)
• K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
• Bridging the Two Plans in the Semantics for Relevant Logic (Q3305616) (← links)
• Connexive logics. An overview and current trends (Q3387885) (← links)
• PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489) (← links)
• Logical Nihilism and the Logic of ‘prem’ (Q5013626) (← links)
• Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
• Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics (Q5027251) (← links)
• Questions to Michael Dunn (Q5059687) (← links)
• A Tale of Excluding the Middle (Q5059688) (← links)
• О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE (Q5059699) (← links)
• О выразительных возможностях отдельных расширений четырехзначной логики Белнапа (Q5061420) (← links)
• Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B (Q5066095) (← links)
• Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic (Q6067099) (← links)
• A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)
• Qualitative reasoning in a two-layered framework (Q6099380) (← links)
• Connexive negation (Q6127198) (← links)
• Logical multilateralism (Q6145030) (← links)
• Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588) (← links)
• A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic (Q6150668) (← links)
• Presumptive Reasoning in a Paraconsistent Setting (Q6199612) (← links)