A calculus of antinomics

Cited In (72)

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

This page was built for publication: A calculus of antinomics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2523722)