The following pages link to Ideal paraconsistent logics (Q647409):
Displaying 31 items.
- Preferences in artificial intelligence (Q314443) (← links)
- Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
- Classical negation and expansions of Belnap-Dunn logic (Q495842) (← links)
- Paraconsistent dynamics (Q514033) (← links)
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- Idealization in applied first-order logic (Q1307866) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- The pursuit of an implication for the logics L3A and L3B (Q1689566) (← links)
- A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information (Q1999580) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← links)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic (Q2186695) (← links)
- Paraconsistency in classical logic (Q2219139) (← links)
- A dissimilarity-based framework for generating inconsistency-tolerant logics (Q2254632) (← links)
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework (Q2418013) (← links)
- A single proof of classical behaviour in da Costa's \(C_n\) systems (Q2520656) (← links)
- On paraconsistent extensions of \(C_1\) (Q2520660) (← links)
- A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information (Q2915092) (← links)
- Maximality in finite-valued Łukasiewicz logics defined by order filters (Q3120209) (← links)
- ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION (Q4557169) (← links)
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics (Q4583342) (← links)
- (Q4903913) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency (Q5020166) (← links)
- R-Mingle is Nice, and so is Arnon Avron (Q5020167) (← links)
- Questions to Michael Dunn (Q5059687) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- Three-Valued Paraconsistent Propositional Logics (Q5241519) (← links)
- К вопросу о критерии паранепротиворечивости логик (Q5882768) (← links)
- Connexive implications in substructural logics (Q6638238) (← links)
