Proof search on bilateralist judgments over non-deterministic semantics

DOI10.1007/978-3-030-86059-2_8OpenAlexW3203223491MaRDI QIDQ2142069

Sérgio Marcelino, Vitor Greati, João Marcos

Publication date: 25 May 2022

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

zbMATH Keywords

proof searchbilateralismtwo-dimensional consequence

Mathematics Subject Classification ID

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

Related Items

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

Cites Work

• Unnamed Item
• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• Multi-valued semantics: why and how
• Speech acts, categoricity, and the meanings of logical connectives
• Analytic calculi for monadic PNmatrices
• Finite-valued semantics for canonical labelled calculi
• On the characterization of fibred logics, with applications to conservativity and finite-valuedness
• Possible-translations semantics for some weak classically-based paraconsistent logics
• The relative efficiency of propositional proof systems
• An Inferentially Many-Valued Two-Dimensional Notion of Entailment
• Decidability and complexity of fibred logics without shared connectives
• On Axioms and Rexpansions
• Multi-valued Calculi for Logics Based on Non-determinism
• The pleasures of anticipation: Enriching intuitionistic logic