JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS

DOI10.1017/S1755020311000219zbMath1252.03068OpenAlexW2144488831WikidataQ60135118 ScholiaQ60135118MaRDI QIDQ3224048

Joshua Schechter

Publication date: 29 March 2012

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020311000219

zbMATH Keywords

collapsecompletenesscombination of logicspropositional logicscombination of classical and intuitionist logics

Mathematics Subject Classification ID

Combined logics (03B62)

Cites Work

• Unnamed Item
• Unnamed Item
• Fregean logics
• From fibring to cryptofibring. A solution to the collapsing problem
• What's so logical about the logical axioms?
• Equivalential logics. I
• 2-element matrices
• Theory of logical calculi. Basic theory of consequence operations
• An algebraic approach to non-classical logics
• The Suszko operator. I
• Untersuchungen über das logische Schliessen. I
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Recovering a logic from its fragments by meta-fibring
• Fibring: completeness preservation
• Fibring of logics as a categorial construction
• Modulated fibring and the collapsing problem
• Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems

This page was built for publication: JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS