Finite two-dimensional proof systems for non-finitely axiomatizable logics

DOI10.1007/978-3-031-10769-6_37OpenAlexW4289103995MaRDI QIDQ2104551

Vitor Greati, João Marcos

Publication date: 7 December 2022

Full work available at URL: https://arxiv.org/abs/2205.08920

zbMATH Keywords

paraconsistencyconsequence relationsfinite axiomatizabilitynon-deterministic semanticsHilbert-style proof systems

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Limits for paraconsistent calculi
• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• 2-element matrices
• Theory of logical calculi. Basic theory of consequence operations
• Proof search on bilateralist judgments over non-deterministic semantics
• An unexpected Boolean connective
• Analytic calculi for monadic PNmatrices
• Finite-valued semantics for canonical labelled calculi
• Non-deterministic Multiple-valued Structures
• Volume I: Recovery operators in logics of formal inconsistency
• Possible-translations semantics for some weak classically-based paraconsistent logics
• An Inferentially Many-Valued Two-Dimensional Notion of Entailment
• Logics of Formal Inconsistency
• Some remarks on the consequence operation in sentential logics
• Multi-valued Calculi for Logics Based on Non-determinism
• What is a logical theory? On theories containing assertions and denials
• Axiomatizing non-deterministic many-valued generalized consequence relations

This page was built for publication: Finite two-dimensional proof systems for non-finitely axiomatizable logics