Some more theorems on structural entailment relations and non-deterministic semantics

DOI10.1007/978-3-031-44490-6_12MaRDI QIDQ6911836zbMATH OpenFDO

Authors Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio

Publication date 24 October 2025

Full work available at URL https://doi.org/10.1007/978-3-031-44490-6_12

zbMATH Keywords

abstract algebraic logicentailment relationsmatrix modelsmultiple-conclusion logicnon-deterministic matrices

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Quantum logic (03G12)

Cites work

• A representation theorem for multi-algebras
• Abstract algebraic logic. An introductory textbook
• Algebraizable logics
• Analytic calculi for monadic PNmatrices
• Arnon Avron on semantics and proof theory of non-classical logics
• Axiomatizing non-deterministic many-valued generalized consequence relations
• Characterizing finite-valuedness
• Computational properties of finite PNmatrices
• Cut elimination for entailment relations
• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• Deducibility and many-valuedness
• Disjoint fibring of non-deterministic matrices
• Finite-valued semantics for canonical labelled calculi
• From many-valued consequence to many-valued connectives
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3891329 (Why is no real title available?)
• scientific article; zbMATH DE number 5520316 (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 3636000 (Why is no real title available?)
• scientific article; zbMATH DE number 1924164 (Why is no real title available?)
• scientific article; zbMATH DE number 2196614 (Why is no real title available?)
• scientific article; zbMATH DE number 4187771 (Why is no real title available?)
• Locally tabular locally finite
• Modular construction of cut-free sequent calculi for paraconsistent logics
• Non-deterministic Multiple-valued Structures
• On logics of perfect paradefinite algebras
• Plug and Play Negations
• Protoalgebraic logics
• Rejection
• REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
• Some theorems on structural entailment relations
• Sur une généralisation de la notion de groupe.
• The simplest protoalgebraic logic
• Theory of logical calculi. Basic theory of consequence operations

This page was built for publication: Some more theorems on structural entailment relations and non-deterministic semantics

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