The following pages link to (Q5596218):
Displaying 27 items.
- A map of dependencies among three-valued logics (Q497633) (← links)
- Paraconsistent dynamics (Q514033) (← links)
- Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks (Q901144) (← links)
- Definability and quantifier elimination for \(J_ 3\)-theories (Q1095881) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Paraconsistent logics and translations (Q1840969) (← links)
- First-order logics of evidence and truth with constant and variable domains (Q2084569) (← links)
- Book review of: Yaroslav Shramko and Heinrich Wansing, Truth and falsehood. An inquiry into generalized logical values (Q2259006) (← links)
- Recovering Consistency by Forgetting Inconsistency (Q3532461) (← links)
- Processing Information from a Set of Sources (Q3600567) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX (Q4600826) (← links)
- The Lvov-Warsaw School: A True Mythology (Q4611708) (← links)
- Non Truth-Functional Many-Valuedness (Q4916205) (← links)
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC <b>QCIORE</b> (Q5001546) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- Many-valuedness from a universal logic perspective (Q5061411) (← links)
- From Paraconsistent Logic to Dialetheic Logic (Q5213760) (← links)
- Two Genuine 3-Valued Paraconsistent Logics (Q5213770) (← links)
- Three-Valued Paraconsistent Propositional Logics (Q5241519) (← links)
- Strong Three-Valued Paraconsistent Logics (Q5241521) (← links)
- From Possibility Theory to Paraconsistency (Q5241526) (← links)
- К вопросу о критерии паранепротиворечивости логик (Q5882768) (← links)
- Idempotent full paraconsistent negations are not algebraizable (Q5937811) (← links)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)
- A cartography of LFIs and truth (Q6623945) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)