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

(11)

• An unexpected Boolean connective
• Combining fragments of classical logic: when are interaction principles needed?
• Plug and Play Negations
• Non-deterministic combination of connectives
• On Axioms and Rexpansions
• What is a logical theory? On theories containing assertions and denials
• Finite Hilbert systems for weak Kleene logics
• Monadicity of non-deterministic logical matrices is undecidable
• Some more theorems on structural entailment relations and non-deterministic semantics
• Ivlev-like modal logics of formal inconsistency obtained by fibring swap structures
• Beyond minimality: mixed inferences as an anti-collapse problem for standard combination mechanisms

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)