Towards a general theory of the combination of logics

zbMATH Open1087.03009MaRDI QIDQ3367293FDOQ3367293

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 (12)

• 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)