Generalized correspondence analysis for three-valued logics
From MaRDI portal
Publication:1632053
DOI10.1007/s11787-018-0212-9zbMath1435.03047OpenAlexW2895942613WikidataQ129108411 ScholiaQ129108411MaRDI QIDQ1632053
Publication date: 12 December 2018
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-018-0212-9
proof theorynatural deductionthree-valued logiccorrespondence analysisparaconsistent logicparacomplete logic
Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22) Paraconsistent logics (03B53)
Related Items
Correspondence analysis for some fragments of classical propositional logic, Three new genuine five-valued logics intended to model non-trivial concepts, Logic prizes \textit{et cætera}, A lattice of the paracomplete calculi, Correspondence analysis and automated proof-searching for first degree entailment, On the question of the criteria for the paracompleteness of logics, Non-transitive correspondence analysis, Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation, Functional Completeness in CPL via Correspondence Analysis, The Method of Socratic Proofs Meets Correspondence Analysis, Normalisation for Some Quite Interesting Many-Valued Logics
Cites Work
- New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13--17, 2014
- A map of dependencies among three-valued logics
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- A note on matrices for systems of nonsense-logics
- On an implication connective of RM
- On interpretation of inconsistent theories
- Some remarks on three-valued logic of J. Lukasiewicz
- The logic of paradox
- The natural deduction systems for the three-valued nonsense logics Z and E
- Natural deduction for Post's logics and their duals
- Conjunction and disjunction in infectious logics
- The pursuit of an implication for the logics L3A and L3B
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- Anti-intuitionism and paraconsistency
- Maximal weakly-intuitionistic logics
- Logics of nonsense and Parry systems
- A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
- Natural deduction system for three-valued Heyting's logic
- A calculus of antinomics
- On the theory of inconsistent formal systems
- Logic of antinomies
- Неклассические модификации многозначных матриц классической логики. Часть I.
- Paraconsistency and Sette’s calculus P1
- A propositional calculus for inconsistent deductive systems
- Formal inconsistency and evolutionary databases
- Literal-paraconsistent and literal-paracomplete matrices
- Brief study of G'3 logic
- Natural 3-valued logics—characterization and proof theory
- The defective conditional in mathematics
- 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
- Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence
- 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
- COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
- Logics of Formal Inconsistency
- Rational agency from a truth-functional perspective
- Two Genuine 3-Valued Paraconsistent Logics
- The first law of cubology for the Rubik’s Revenge
- A Precise Definition of an Inference (by the Example of Natural Deduction Systems for Logics $I_{\langle \alpha,\beta \rangle}$
- Stone algebras, conditional events, and three valued logic
- A Lattice of Implicative Extensions of Regular Kleene's Logics
- Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
