Generalized correspondence analysis for three-valued logics
From MaRDI portal
(Redirected from Publication:1632053)
Recommendations
- scientific article; zbMATH DE number 6418709
- Completeness via correspondence for extensions of the logic of paradox
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Correspondence analysis for some fragments of classical propositional logic
- scientific article; zbMATH DE number 1775473
Cites work
- scientific article; zbMATH DE number 5519286 (Why is no real title available?)
- scientific article; zbMATH DE number 3931080 (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 1257634 (Why is no real title available?)
- scientific article; zbMATH DE number 590999 (Why is no real title available?)
- scientific article; zbMATH DE number 2020144 (Why is no real title available?)
- scientific article; zbMATH DE number 1463147 (Why is no real title available?)
- scientific article; zbMATH DE number 3453564 (Why is no real title available?)
- scientific article; zbMATH DE number 6418709 (Why is no real title available?)
- scientific article; zbMATH DE number 3264909 (Why is no real title available?)
- scientific article; zbMATH DE number 3315182 (Why is no real title available?)
- scientific article; zbMATH DE number 3335866 (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 3077773 (Why is no real title available?)
- A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
- A calculus of antinomics
- A lattice of implicative extensions of regular Kleene's logics
- A map of dependencies among three-valued logics
- A note on matrices for systems of nonsense-logics
- A precise definition of an inference (by the example of natural deduction systems for logics \(I_{\langle \alpha, \beta\rangle}\))
- A propositional calculus for inconsistent deductive systems
- A weakly-intuitionistic logic \(I1\)
- Anti-intuitionism and paraconsistency
- 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
- Brief study of G'3 logic
- Completeness via correspondence for extensions of the logic of paradox
- Conjunction and disjunction in infectious logics
- Correspondence analysis for first degree entailment
- Correspondence analysis for logic of rational agent
- Defining LFIs and LFUs in extensions of infectious logics
- Formal inconsistency and evolutionary databases
- Functional interdependence of regular Kleene logics
- Hybridized paracomplete and paraconsistent logics
- Literal-paraconsistent and literal-paracomplete matrices
- Logic of antinomies
- Logics of formal inconsistency
- Logics of nonsense and Parry systems
- Maximal weakly-intuitionistic logics
- Natural 3-valued logics—characterization and proof theory
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Natural \(p\)-logics
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- Natural deduction for Post's logics and their duals
- Natural deduction for three-valued regular logics
- Natural deduction in a paracomplete setting
- Natural deduction system for three-valued Heyting's logic
- Natural three-valued logics characterized by natural deduction
- New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13--17, 2014
- Non-classical modifications of many-valued matrices of the classical propositional logic. I.
- Nonsense logics and their algebraic properties
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- On an implication connective of RM
- On interpretation of inconsistent theories
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- On the theory of inconsistent formal systems
- Paraconsistency and Sette's calculus P1
- Rational agency from a truth-functional perspective
- Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
- Some remarks on three-valued logic of J. Lukasiewicz
- Stone algebras, conditional events, and three valued logic
- The defective conditional in mathematics
- The first law of cubology for the Rubik's Revenge
- The logic of paradox
- The natural deduction systems for the three-valued nonsense logics Z and E
- The pursuit of an implication for the logics L3A and L3B
- Two Genuine 3-Valued Paraconsistent Logics
- Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
Cited in
(21)- On paracomplete versions of Jaśkowski's discussive logic
- On the question of the criteria for the paracompleteness of logics
- Logic prizes \textit{et cætera}
- Non-transitive correspondence analysis
- Man muss immer umkehren!
- Completeness via correspondence for extensions of the logic of paradox
- Some remarks on A. Tamminga's paper ``Correspondence analysis for strong three-valued logic
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Correia semantics revisited
- The method of Socratic proofs meets correspondence analysis
- Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
- Three new genuine five-valued logics intended to model non-trivial concepts
- Correspondence analysis for logic of rational agent
- Normalisation for some quite interesting many-valued logics
- 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
- scientific article; zbMATH DE number 6418709 (Why is no real title available?)
- A Correspondence Between Variable Relations And Three-Valued Propositional Logic
- Functional Completeness in CPL via Correspondence Analysis
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)
