Disjoint fibring of non-deterministic matrices

DOI10.1007/978-3-662-55386-2_17MaRDI QIDQ1685929zbMATH OpenOpenAlexFDO

Authors Sérgio Marcelino, Carlos Caleiro

Publication date 20 December 2017

Full work available at URL https://doi.org/10.1007/978-3-662-55386-2_17

Mathematics Subject Classification ID

Combined logics (03B62)

Recommendations

• Fibring of logics as a categorial construction
• scientific article; zbMATH DE number 868086
• scientific article; zbMATH DE number 1219632
• On Graph-theoretic Fibring of Logics
• On the characterization of fibred logics, with applications to conservativity and finite-valuedness

Cited in

(8)

• Non-deterministic combination of connectives
• Plug and Play Negations
• Finite Hilbert systems for weak Kleene logics
• What is a logical theory? On theories containing assertions and denials
• Monadicity of non-deterministic logical matrices is undecidable
• On Axioms and Rexpansions
• Combining fragments of classical logic: when are interaction principles needed?
• An unexpected Boolean connective

This page was built for publication: Disjoint fibring of non-deterministic matrices

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