Axiomatizing non-deterministic many-valued generalized consequence relations

DOI10.1007/s11229-019-02142-8zbMath1525.03086OpenAlexW2919673720MaRDI QIDQ6088603

Sérgio Marcelino, Carlos Caleiro

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-019-02142-8

zbMATH Keywords

analyticityaxiomatizationgeneralized logical consequencenon-deterministic logical matrix

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items

Computational properties of partial non-deterministic matrices and their logics, Finite two-dimensional proof systems for non-finitely axiomatizable logics, On Axioms and Rexpansions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Why conclusions should remain single
• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• Some theorems on structural entailment relations
• Simple consequence relations
• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• 2-element matrices
• Three-element nonfinitely axiomatizable matrices
• Merging fragments of classical logic
• Characterizing finite-valuedness
• Finite-valued semantics for canonical labelled calculi
• On the Construction of Analytic Sequent Calculi for Sub-classical Logics
• Non-deterministic Multiple-valued Structures
• Algebraizable logics
• Multi-valued Calculi for Logics Based on Non-determinism