Correspondence analysis for some fragments of classical propositional logic (Q828774)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Correspondence analysis for some fragments of classical propositional logic |
scientific article |
Statements
Correspondence analysis for some fragments of classical propositional logic (English)
0 references
5 May 2021
0 references
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.
0 references
classical logic
0 references
correspondence analysis
0 references
disjunction fragment
0 references
implication fragment
0 references
negation fragment
0 references
natural deduction
0 references
0 references
0 references
