Non-deterministic combination of connectives

MaRDI QIDQ4918417zbMATH OpenFDO

Authors Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, João Rasga

Publication date 24 April 2013

Mathematics Subject Classification ID

Combined logics (03B62)

Recommendations

• On combined connectives
• On meet-combination of logics
• Combining fragments of classical logic: when are interaction principles needed?
• Disjoint fibring of non-deterministic matrices
• Juxtaposition: a new way to combine logics

Cited in

(6)

• On combined connectives
• An unexpected Boolean connective
• Combining fragments of classical logic: when are interaction principles needed?
• To distribute or not to distribute?
• On meet-combination of logics
• Modular many-valued semantics for combined logics

This page was built for publication: Non-deterministic combination of connectives

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