Correspondence analysis for some fragments of classical propositional logic
From MaRDI portal
(Redirected from Publication:828774)
The authors deal with the implication, disjunction, and negation fragments of classical propositional logic, particularly with an application of correspondence analysis to some connectiveless fragment with certain basic properties of the logical consequence relation. A sound and complete natural deduction system for any binary extension of each fragment in question is obtained. Segerberg's systems for connectiveless and negation fragments are discussed and compared with introduced systems, as well.
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
- 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
- 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?)
- 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
(9)- Generalized correspondence analysis for three-valued logics
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics
- Man muss immer umkehren!
- Correia semantics revisited
- scientific article; zbMATH DE number 6418709 (Why is no real title available?)
- Correspondence analysis for logic of rational agent
- Non-transitive correspondence analysis
- Resolving Radzki’s issues with Łukasiewicz logics’ axiomatics via correspondence analysis
- A logical study of the correspondence relation
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)
