The category of propositional deductive systems

DOI10.1017/S1755020326101245MaRDI QIDQ7357615zbMATH OpenFDO

Authors Ciro Russo

Publication date 25 September 2026

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1755020326101245

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Combined logics (03B62) Logical aspects of lattices and related structures (03G10) Quantales (06F07)

Cites work

• Algebraic and categorical aspects of quantales
• Algebraizable logics
• Algebraizable logics and a functorial encoding of its morphisms
• An abstract approach to consequence relations
• An order-theoretic analysis of interpretations among propositional deductive systems
• Coproduct and amalgamation of deductive systems by means of ordered algebras
• Equivalence of consequence operations
• Equivalence of consequence relations: an order-theoretic and categorical perspective
• Fibring of logics as a categorial construction
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 1140670 (Why is no real title available?)
• On the category \(Q\)-\textbf{Mod}
• Quantale modules and their operators, with applications
• Sur quelques points de la logique de M. Brouwer.
• Theory of logical calculi. Basic theory of consequence operations

This page was built for publication: The category of propositional deductive systems

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