Combining fragments of classical logic: when are interaction principles needed?

DOI10.1007/s00500-018-3584-0zbMath1418.03133arXiv1810.05879OpenAlexW2964208418WikidataQ129021961 ScholiaQ129021961MaRDI QIDQ2317512

Carlos Caleiro, João Marcos, Sérgio Marcelino

Publication date: 12 August 2019

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1810.05879

zbMATH Keywords

many-valued logicscombination of logicsclone theory (algebra)

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Operations and polynomials in algebraic structures, primal algebras (08A40) Many-valued logic (03B50) Combined logics (03B62)

Related Items (2)

An unexpected Boolean connective ⋮ On Axioms and Rexpansions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• From fibring to cryptofibring. A solution to the collapsing problem
• Multi-valued semantics: why and how
• What is a non-truth-functional logic?
• A representation theorem for multi-algebras
• 2-element matrices
• Disjoint fibring of non-deterministic matrices
• Merging fragments of classical logic
• Characterizing finite-valuedness
• Untersuchungen über das logische Schliessen. I
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Recovering a logic from its fragments by meta-fibring
• To distribute or not to distribute?
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• On the characterization of fibred logics, with applications to conservativity and finite-valuedness
• Combining Classical and Intuitionistic Implications
• Note on deducibility and many-valuedness
• Béziau on And and Or
• Function Algebras on Finite Sets
• Deducibility and many-valuedness
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

This page was built for publication: Combining fragments of classical logic: when are interaction principles needed?