Correspondence analysis for some fragments of classical propositional logic
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.
scientific article; zbMATH DE number 7344023
scientific article