Meet-combination of consequence systems

DOI10.12775/LLP.2024.017MaRDI QIDQ7012350zbMATH OpenFDO

Authors Paula Gouveia, João Rasga, Cristina Sernadas

Publication date 17 March 2025

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NoDerivs 4.0 International

Full work available at URL https://doi.org/10.12775/LLP.2024.017

zbMATH Keywords

combination of logicsconsequence systemsmeet-combinationproduct of matrix semantics

Mathematics Subject Classification ID

Combined logics (03B62)

Cites work

• A treatise on many-valued logics
• Abstract algebraic logic. An introductory textbook
• Admissibility of logical inference rules
• Algebraizable logics
• An unexpected Boolean connective
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Categorical abstract algebraic logic: meet-combination of logical systems
• Computational properties of finite PNmatrices
• Conservative translations
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• Fibring: Completeness preservation
• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 4055579 (Why is no real title available?)
• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• scientific article; zbMATH DE number 1140673 (Why is no real title available?)
• scientific article; zbMATH DE number 201040 (Why is no real title available?)
• scientific article; zbMATH DE number 3335866 (Why is no real title available?)
• Independent propositional modal logics
• Logical matrices and the amalgamation property
• Logics of formal inconsistency
• Many-dimensional modal logics: theory and applications
• Matrix approach in methodology of sentential calculi
• Modal logic. An introduction to its syntax and semantics
• Modulated fibring and the collapsing problem
• Non-deterministic Multiple-valued Structures
• On meet-combination of logics
• On the characterization of fibred logics, with applications to conservativity and finite-valuedness
• Paraconsistent logic: consistency, contradiction and negation
• Preservation of Interpolation Features by Fibring
• Products of modal logics, part 1
• Properties of independently axiomatizable bimodal logics
• Protoalgebraic logics
• Quasi-truth-functional systems of propositional logic
• REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
• Theory of logical calculi. Basic theory of consequence operations
• Tools and techniques in modal logic

This page was built for publication: Meet-combination of consequence systems

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