The following pages link to (Q4777260):
Displaying 50 items.
- Classical negation and expansions of Belnap-Dunn logic (Q495842) (← links)
- A map of dependencies among three-valued logics (Q497633) (← links)
- Weakening and extending \(\mathbb{Z}\) (Q497880) (← links)
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← links)
- Ideal paraconsistent logics (Q647409) (← links)
- Limits for paraconsistent calculi (Q701299) (← links)
- The method of polynomial ring calculus and its potentialities (Q897932) (← links)
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- P1 algebras (Q1317897) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Self-extensional three-valued paraconsistent logics (Q1682293) (← links)
- On negation: Pure local rules (Q1775871) (← links)
- Paraconsistent logics and translations (Q1840969) (← links)
- Validity, dialetheism and self-reference (Q2054126) (← links)
- A generalization of ordered-pair semantics (Q2148827) (← links)
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← links)
- Paraconsistency in classical logic (Q2219139) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Deduction normalization theorem for Sette's logic and its modifications (Q2319976) (← links)
- Revisiting \(\mathbb Z\) (Q2443124) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Three-Valued Logics for Incomplete Information and Epistemic Logic (Q2915066) (← links)
- Paraconsistency and Sette’s calculus P1 (Q2987739) (← links)
- Partial and paraconsistent three-valued logics (Q2987760) (← links)
- Rough Sets - Past, Present and Future: Some Notes (Q3300353) (← links)
- First order theory for literal-paraconsistent and literal-paracomplete matrices (Q3583806) (← links)
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information (Q4583322) (← links)
- Society semantics and the logic way to collective intelligence (Q4586233) (← links)
- AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX (Q4600826) (← links)
- Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence (Q4683207) (← links)
- Logical Opposition and Collective Decisions (Q4915595) (← links)
- Non Truth-Functional Many-Valuedness (Q4916205) (← links)
- A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics (Q4999462) (← links)
- A family of genuine and non-algebraisable C-systems (Q5000136) (← links)
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC <b>QCIORE</b> (Q5001546) (← links)
- On the system CB1 and a lattice of the paraconsistent calculi (Q5006825) (← links)
- О критерии паранормальности для $n$-значных логических матриц (Q5059701) (← links)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
- Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик (Q5061421) (← links)
- A Note on Ciuciura’s mbC1 (Q5126191) (← links)
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation (Q5156187) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
- Three-Valued Paraconsistent Propositional Logics (Q5241519) (← links)
- From Possibility Theory to Paraconsistency (Q5241526) (← links)
- IMPROVING STRONG NEGATION (Q6051428) (← links)
- Aggregation operators on shadowed sets (Q6118665) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
- On paracomplete versions of Jaśkowski's discussive logic (Q6555700) (← links)
- Connexivity meets Church and Ackermann (Q6562531) (← links)
