A calculus of antinomics

Cited in

(86)

Generalized correspondence analysis for three-valued logics
Pecularities of some three- and four-valued second order logics
Second-order logic of paradox
Self-extensional three-valued paraconsistent logics
An algebraic view of super-Belnap logics
Four-valued paradefinite logics
Natural deduction for Fitting's four-valued generalizations of Kleene's logics
Logical investigations on assertion and denial
Paradox and logical revision. A short introduction
Denial and disagreement
A note on freedom from detachment in the logic of paradox
Contradictory information: too much of a good thing
Inclosure and intolerance
An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
The normal and self-extensional extension of Dunn-Belnap logic
The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
Book review of: Yaroslav Shramko and Heinrich Wansing, Truth and falsehood. An inquiry into generalized logical values
DLEAC: a dialetheic logic with exclusive assumptions and conclusions
A review of the relations between logical argumentation and reasoning with maximal consistency
Pavel Florensky's theory of religious antinomies
Paraconsistency and the need for infinite semantics
Correspondence analysis and automated proof-searching for first degree entailment
The final cut
Free of Detachment: Logic, Rationality, and Gluts
MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
Nonmonotonicity and knowability: as knowable as possible
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
Further reflections on sentences saying of themselves strange things
Automated correspondence analysis for the binary extensions of the logic of paradox
Paul of Venice and Realist Developments of Roger Swyneshed's Treatment of Semantic Paradoxes
Natural Deduction for Four-Valued both Regular and Monotonic Logics
In defence of dialetheism: a reply to Beziau and Tkaczyk
Strict-choice validities: A note on a familiar pluralism
Logical opposition and collective decisions
Non Truth-Functional Many-Valuedness
Generalizing functional completeness in Belnap-Dunn logic
Exactly true and non-falsity logics meeting infectious ones
Correspondence analysis for logic of rational agent
Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
Normalisation for some quite interesting many-valued logics
The strict/tolerant idea and bilattices
Many-valuedness from a universal logic perspective
Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
Why paraconsistent logics?
Two Genuine 3-Valued Paraconsistent Logics
Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
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
REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
A UNIFIED THEORY OF TRUTH AND PARADOX
\(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'
A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS
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
The Birth of Dialetheism
On the three-valued expansions of Kleene's logic
Non-transitive correspondence analysis
A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
Editorial introduction
Dialetheism and distributed sorites
Negation-cohesive connectives: a generalization of connexivity
Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa
Generalized explosion principles
Paraconsistency in non-Fregean framework
Paraconsistent and paracomplete Zermelo-Fraenkel set theory
Simple tableaus for simple logics
Naïve non-substructural solutions to the validity paradox
Non-foundationalist frameworks for logical metainferentialism
Against generalized comprehension
A note on the expressive completeness of LP in a metatheory without negation
Towards a quantum logic of paradox
A validity theory for the ST-hierarchy
Suprastructural logics
Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
Correspondence analysis for some fragments of classical propositional logic
De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics

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)