Towards a general theory of the combination of logics

zbMATH Open1087.03009MaRDI QIDQ3367293FDOQ3367293

Authors: Alexandre Costa-Leite 

Publication date: 24 January 2006

Recommendations

• Editors' introduction to the special issue on combining logics
• Combinations of modal logics
• On meet-combination of logics
• To distribute or not to distribute?
• scientific article; zbMATH DE number 1140670

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Cited In (15)

• Asymmetric combination of logics is functorial: a survey
• To distribute or not to distribute?
• Mixing colors, mixing logics
• Title not available (Why is that?)
• Cognitive Binary Logic - The Natural Unified Formal Theory of Propositional Binary Logic
• Title not available (Why is that?)
• Combinations of modal logics
• Politeness and combination methods for theories with bridging functions
• Title not available (Why is that?)
• Combination of convex theories: modularity, deduction completeness, and explanation
• Title not available (Why is that?)
• Editors' introduction to the special issue on combining logics
• Merging fragments of classical logic
• On generale purpose unifying automata
• Multideductive logic and the theoretic-formal unification of physical theories

This page was built for publication: Towards a general theory of the combination of logics

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