Generalized correspondence analysis for three-valued logics

DOI10.1007/S11787-018-0212-9zbMATH Open1435.03047OpenAlexW2895942613WikidataQ129108411 ScholiaQ129108411MaRDI QIDQ1632053FDOQ1632053

Yaroslav I. Petrukhin

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

zbMATH Keywords

correspondence analysisproof theorynatural deductionparaconsistent logicthree-valued logicparacomplete logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The logic of paradox
• New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13--17, 2014
• Anti-intuitionism and paraconsistency
• On the theory of inconsistent formal systems
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• Logics of Formal Inconsistency
• Logics of nonsense and Parry systems
• Natural 3-valued logics—characterization and proof theory
• Formal inconsistency and evolutionary databases
• Brief study of G'₃ logic
• Natural deduction for Post's logics and their duals
• Stone algebras, conditional events, and three valued logic
• A map of dependencies among three-valued logics
• A calculus of antinomics
• A propositional calculus for inconsistent deductive systems
• On an implication connective of RM
• Logic of antinomies
• Nonsense logics and their algebraic properties
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• Maximal weakly-intuitionistic logics
• Paraconsistency and Sette’s calculus P1
• Some remarks on three-valued logic of J. Lukasiewicz
• On interpretation of inconsistent theories
• The pursuit of an implication for the logics L3A and L3B
• A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
• AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX
• Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence
• COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
• Two Genuine 3-Valued Paraconsistent Logics
• A Precise Definition of an Inference (by the Example of Natural Deduction Systems for Logics $I_{\langle \alpha,\beta \rangle}$
• A Lattice of Implicative Extensions of Regular Kleene's Logics
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
• A note on matrices for systems of nonsense-logics
• The natural deduction systems for the three-valued nonsense logics Z and E
• Conjunction and disjunction in infectious logics
• Natural deduction for Fitting's four-valued generalizations of Kleene's logics
• Natural deduction system for three-valued Heyting's logic
• A weakly-intuitionistic logic \(I1\)
• Неклассические модификации многозначных матриц классической логики. Часть I.
• Literal-paraconsistent and literal-paracomplete matrices
• The defective conditional in mathematics
• Defining LFIs and LFUs in extensions of infectious logics
• Natural deduction for three-valued regular logics
• Natural Deduction for Four-Valued both Regular and Monotonic Logics
• Rational agency from a truth-functional perspective
• The first law of cubology for the Rubik’s Revenge

Cited In (14)

• On paracomplete versions of Jaśkowski's discussive logic
• Normalisation for Some Quite Interesting Many-Valued Logics
• On the question of the criteria for the paracompleteness of logics
• Logic prizes \textit{et cætera}
• Non-transitive correspondence analysis
• Three new genuine five-valued logics intended to model non-trivial concepts
• A lattice of the paracomplete calculi
• Correspondence analysis and automated proof-searching for first degree entailment
• Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
• Correspondence analysis for some fragments of classical propositional logic
• Title not available (Why is that?)
• Functional Completeness in CPL via Correspondence Analysis
• The Method of Socratic Proofs Meets Correspondence Analysis
• A Correspondence Between Variable Relations And Three-Valued Propositional Logic

This page was built for publication: Generalized correspondence analysis for three-valued logics

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