A calculus of antinomics
From MaRDI portal
Publication:2523722
DOI10.1305/ndjfl/1093958482zbMath0145.00508OpenAlexW2067005442MaRDI QIDQ2523722
Publication date: 1966
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093958482
Related Items
Correspondence analysis for some fragments of classical propositional logic ⋮ De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics ⋮ Generalized correspondence analysis for three-valued logics ⋮ Pecularities of some three- and four-valued second order logics ⋮ Second-order logic of paradox ⋮ Many-valuedness from a universal logic perspective ⋮ Further Reflections on Sentences Saying of Themselves Strange Things ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Self-extensional three-valued paraconsistent logics ⋮ An algebraic view of super-Belnap logics ⋮ Four-valued paradefinite logics ⋮ A note on freedom from detachment in the logic of paradox ⋮ The final cut ⋮ Natural deduction for Fitting's four-valued generalizations of Kleene's logics ⋮ The Birth of Dialetheism ⋮ Unnamed Item ⋮ Logical investigations on assertion and denial ⋮ Unnamed Item ⋮ On the three-valued expansions of Kleene's logic ⋮ Non-transitive correspondence analysis ⋮ AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ The normal and self-extensional extension of Dunn-Belnap logic ⋮ Free of Detachment: Logic, Rationality, and Gluts ⋮ Paul of Venice and Realist Developments of Roger Swyneshed's Treatment of Semantic Paradoxes ⋮ Paradox and logical revision. A short introduction ⋮ Denial and disagreement ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ Contradictory information: too much of a good thing ⋮ REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ Nonmonotonicity and Knowability: As Knowable as Possible ⋮ Strict-choice validities: A note on a familiar pluralism ⋮ What is a Paraconsistent Logic? ⋮ FDE as the One True Logic ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Variations on the Collapsing Lemma ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ Inclosure and intolerance ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ Logical Opposition and Collective Decisions ⋮ LP+, K3+, FDE+, AND THEIR ‘CLASSICAL COLLAPSE’ ⋮ A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS ⋮ Non Truth-Functional Many-Valuedness ⋮ Book review of: Yaroslav Shramko and Heinrich Wansing, Truth and falsehood. An inquiry into generalized logical values ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values ⋮ Idempotent full paraconsistent negations are not algebraizable ⋮ Natural Deduction for Four-Valued both Regular and Monotonic Logics ⋮ In Defence of Dialetheism: A Reply to Beziau and Tkaczyk ⋮ DLEAC: a dialetheic logic with exclusive assumptions and conclusions ⋮ A review of the relations between logical argumentation and reasoning with maximal consistency ⋮ Why Paraconsistent Logics? ⋮ Two Genuine 3-Valued Paraconsistent Logics ⋮ Pavel Florensky's theory of religious antinomies ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY ⋮ Paraconsistency and the need for infinite semantics ⋮ Functional Completeness in CPL via Correspondence Analysis ⋮ The Method of Socratic Proofs Meets Correspondence Analysis ⋮ On the Philosophy and Mathematics of the Logics of Formal Inconsistency ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ Strong Three-Valued Paraconsistent Logics ⋮ An Approach to Paraconsistent Multivalued Logic: Evaluation by Complex Truth Values ⋮ From Possibility Theory to Paraconsistency ⋮ Consequence–Inconsistency Interrelation: In the Framework of Paraconsistent Logics ⋮ Exactly true and non-falsity logics meeting infectious ones ⋮ An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi ⋮ Normalisation for Some Quite Interesting Many-Valued Logics ⋮ The Strict/Tolerant Idea and Bilattices ⋮ Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
