Axiomatizing non-deterministic many-valued generalized consequence relations

DOI10.1007/S11229-019-02142-8MaRDI QIDQ6088603zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Non-deterministic Multiple-valued Structures
• Logical non-determinism as a tool for logical modularity: an introduction
• A Note on Calculi for Non-deterministic Many-valued Logics
• Tree-like proof systems for finitely-many valued non-deterministic consequence relations
• On nonmonotonic consequence relations

Cites work

• 2-element matrices
• Abstract algebraic logic. An introductory textbook
• Algebraizable logics
• Automated deduction for many-valued logics
• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• Characterizing finite-valuedness
• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• Finite-valued semantics for canonical labelled calculi
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3652314 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 753775 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• scientific article; zbMATH DE number 3073052 (Why is no real title available?)
• Merging fragments of classical logic
• Multi-valued Calculi for Logics Based on Non-determinism
• Non-deterministic Multiple-valued Structures
• On the construction of analytic sequent calculi for sub-classical logics
• Simple consequence relations
• Some theorems on structural entailment relations
• Tableaux for many-valued logics
• Three-element nonfinitely axiomatizable matrices
• Why conclusions should remain single

Cited in

(10)

• Finite two-dimensional proof systems for non-finitely axiomatizable logics
• Computational properties of partial non-deterministic matrices and their logics
• On Axioms and Rexpansions
• From many-valued consequence to many-valued connectives
• Finite Hilbert systems for weak Kleene logics
• Monadicity of non-deterministic logical matrices is undecidable
• On logics of perfect paradefinite algebras
• Analytic calculi for logics of indicative conditionals
• Some more theorems on structural entailment relations and non-deterministic semantics
• Adding an implication to logics of perfect paradefinite algebras

This page was built for publication: Axiomatizing non-deterministic many-valued generalized consequence relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6088603)