Correspondence analysis for some fragments of classical propositional logic
From MaRDI portal
(Redirected from Publication:828774)
Recommendations
- Generalized correspondence analysis for three-valued logics
- Correspondence analysis for logic of rational agent
- Automated correspondence analysis for the binary extensions of the logic of paradox
- scientific article; zbMATH DE number 6418709
- Correspondence analysis and automated proof-searching for first degree entailment
Cites work
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 1257634 (Why is no real title available?)
- scientific article; zbMATH DE number 6418709 (Why is no real title available?)
- A calculus of antinomics
- A lattice of implicative extensions of regular Kleene's logics
- A precise definition of an inference (by the example of natural deduction systems for logics \(I_{\langle \alpha, \beta\rangle}\))
- ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
- Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
- Brief study of G'3 logic
- Classic-Like Analytic Tableaux for Finite-Valued Logics
- Completeness via correspondence for extensions of the logic of paradox
- Constructive negations and paraconsistency
- Correspondence analysis and automated proof-searching for first degree entailment
- Finitely many-valued logics and natural deduction
- Functional Completeness in CPL via Correspondence Analysis
- Generalized correspondence analysis for three-valued logics
- Intuitive semantics for first-degree entailments and `coupled trees'
- Natural 3-valued logics—characterization and proof theory
- Natural three-valued logics characterized by natural deduction
- On notation for ordinal numbers
- Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
- Structural proof theory. With an appendix by Aarne Ranta
- The logic of paradox
- The method of Socratic proofs meets correspondence analysis
Cited in
(8)- Generalized correspondence analysis for three-valued logics
- Non-transitive correspondence analysis
- Man muss immer umkehren!
- Correia semantics revisited
- Correspondence analysis for logic of rational agent
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics
- A logical study of the correspondence relation
- scientific article; zbMATH DE number 6418709 (Why is no real title available?)
This page was built for publication: Correspondence analysis for some fragments of classical propositional logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q828774)
