Exactly true and non-falsity logics meeting infectious ones
From MaRDI portal
Publication:4995617
DOI10.1080/11663081.2020.1751573zbMath1486.03047OpenAlexW3015364686MaRDI QIDQ4995617
Alex Belikov, Yaroslav I. Petrukhin
Publication date: 25 June 2021
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2020.1751573
four-valued logicfirst degree entailmentsequent calculiexactly true logicnonsense logicnon-falsity logicinfectious logic
Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)
Related Items (3)
The value of the one value: \textit{exactly true logic} revisited ⋮ Containment logics: algebraic completeness and axiomatization ⋮ Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On all strong Kleene generalizations of classical logic
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
- A note on matrices for systems of nonsense-logics
- On interpretation of inconsistent theories
- Some remarks on three-valued logic of J. Lukasiewicz
- The logic of paradox
- The completeness of S
- Dualities for Płonka sums
- Conjunction and disjunction in infectious logics
- Rivals to Belnap-Dunn logic on interlaced trilattices
- First-degree entailment and its relatives
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- Intuitive semantics for first-degree entailments and `coupled trees'
- Nothing but the truth
- Logics of nonsense and Parry systems
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- Modeling the interaction of computer errors by four-valued contaminating logics
- A duality for involutive bisemilattices
- A calculus of antinomics
- Faulty Belnap computers and subsystems of FDE
- Relevant Logics Obeying Component Homogeneity
- Paraconsistency and analyticity
- Formal inconsistency and evolutionary databases
- Defining LFIs and LFUs in extensions of infectious logics
- AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX
- Natural deduction for three-valued regular logics
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- Nonsense logics and their algebraic properties
- Logics based on linear orders of contaminating values
- An Epistemic Interpretation of Paraconsistent Weak Kleene Logic
- Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
- Semantical analysis of weak Kleene logics
This page was built for publication: Exactly true and non-falsity logics meeting infectious ones
