Correspondence analysis for some fragments of classical propositional logic (Q828774)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Correspondence analysis for some fragments of classical propositional logic |
scientific article; zbMATH DE number 7344023
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Correspondence analysis for some fragments of classical propositional logic |
scientific article; zbMATH DE number 7344023 |
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
0.8292833566665649
0 references
0.7809540033340454
0 references
0.771939754486084
0 references
0.761452317237854
0 references
