Splitting logics

MaRDI QIDQ3007252zbMATH OpenFDO

Authors Marcelo E. Coniglio, Walter Carnielli

Publication date 21 June 2011

Mathematics Subject Classification ID

Combined logics (03B62)

Recommendations

• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Fibring logics
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• scientific article; zbMATH DE number 1219632
• Fibring: Completeness preservation

Cited in

(11)

• What is a non-truth-functional logic?
• Tableaux for some modal-tense logics Graham Priest's fashion
• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• Finite non-deterministic semantics for some modal systems
• Society semantics and the logic way to collective intelligence
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• An introduction to partition logic
• On the philosophy and mathematics of the logics of formal inconsistency
• Efficient reasoning with inconsistent information using C-systems
• From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
• Structuralism and informal provability

This page was built for publication: Splitting logics

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