Exactly true and non-falsity logics meeting infectious ones
From MaRDI portal
Publication:4995617
Recommendations
- Theories of truth based on four-valued infectious logics
- A Gentzen calculus for nothing but the truth
- On bivalent semantics and natural deduction for some infectious logics
- Four-valued logics of truth, nonfalsity, exact truth, and material equivalence
- Defining LFIs and LFUs in extensions of infectious logics
Cites work
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 3719121 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3564931 (Why is no real title available?)
- scientific article; zbMATH DE number 590999 (Why is no real title available?)
- scientific article; zbMATH DE number 2042613 (Why is no real title available?)
- scientific article; zbMATH DE number 6157349 (Why is no real title available?)
- scientific article; zbMATH DE number 3392404 (Why is no real title available?)
- scientific article; zbMATH DE number 3061149 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- scientific article; zbMATH DE number 3077773 (Why is no real title available?)
- A calculus of antinomics
- A duality for involutive bisemilattices
- A note on matrices for systems of nonsense-logics
- An epistemic interpretation of paraconsistent weak Kleene logic
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Characterizing logical consequence in paraconsistent weak Kleene
- Conjunction and disjunction in infectious logics
- Conjunction in paraconsistent weak Kleene logic
- Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
- Defining LFIs and LFUs in extensions of infectious logics
- Dualities for Płonka sums
- Faulty Belnap computers and subsystems of FDE
- First-degree entailment and its relatives
- Formal inconsistency and evolutionary databases
- Functional interdependence of regular Kleene logics
- Intuitive semantics for first-degree entailments and `coupled trees'
- Logics based on linear orders of contaminating values
- Logics of nonsense and Parry systems
- Modeling the interaction of computer errors by four-valued contaminating logics
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- Natural deduction for three-valued regular logics
- Nonsense logics and their algebraic properties
- Nothing but the truth
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- On all strong Kleene generalizations of classical logic
- On four-valued regular logics
- On interpretation of inconsistent theories
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Paraconsistency and analyticity
- Relevant logics obeying component homogeneity
- Rivals to Belnap-Dunn logic on interlaced trilattices
- Semantical analysis of weak Kleene logics
- Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
- Some remarks on three-valued logic of J. Lukasiewicz
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- The completeness of S
- The logic of paradox
- Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
Cited in
(13)- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- Conjunction and disjunction in infectious logics
- A generalization of Beall's off-topic interpretation
- A Gentzen calculus for nothing but the truth
- Tableaux for metainferential logics
- Theories of truth based on four-valued infectious logics
- Containment logics: algebraic completeness and axiomatization
- Normalisation for some infectious logics and their relatives
- On bivalent semantics and natural deduction for some infectious logics
- Defining LFIs and LFUs in extensions of infectious logics
- The value of the one value: \textit{exactly true logic} revisited
- Exact truthmaking as inexact truthmaking by minimal totality facts
- Peirce's triadic logic and its (overlooked) connexive expansion
This page was built for publication: Exactly true and non-falsity logics meeting infectious ones
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4995617)
