Correspondence analysis for some fragments of classical propositional logic

DOI10.1007/S11787-021-00267-4zbMATH Open1477.03021OpenAlexW3127846988MaRDI QIDQ828774FDOQ828774

Yaroslav I. Petrukhin, Vasilyi Shangin

Publication date: 5 May 2021

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-021-00267-4

zbMATH Keywords

correspondence analysisnatural deductionclassical logicdisjunction fragmentimplication fragmentnegation fragment

Mathematics Subject Classification ID

Classical propositional logic (03B05) Abstract deductive systems (03B22)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The logic of paradox
• Structural proof theory. With an appendix by Aarne Ranta
• Intuitive semantics for first-degree entailments and `coupled trees'
• On notation for ordinal numbers
• Natural 3-valued logics—characterization and proof theory
• Constructive negations and paraconsistency
• Brief study of G'₃ logic
• Classic-Like Analytic Tableaux for Finite-Valued Logics
• A calculus of antinomics
• Finitely many-valued logics and natural deduction
• Generalized correspondence analysis for three-valued logics
• Correspondence analysis and automated proof-searching for first degree entailment
• ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION
• Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
• AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX
• Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence
• COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
• Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis
• Functional Completeness in CPL via Correspondence Analysis
• The Method of Socratic Proofs Meets Correspondence Analysis
• A Precise Definition of an Inference (by the Example of Natural Deduction Systems for Logics $I_{\langle \alpha,\beta \rangle}$
• A Lattice of Implicative Extensions of Regular Kleene's Logics

Cited In (4)

• Non-transitive correspondence analysis
• Two-sided sequent calculi for \textit{FDE}-like four-valued logics
• A logical study of the correspondence relation
• Title not available (Why is that?)

Uses Software

• Pesca

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)