JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS
From MaRDI portal
Publication:3224048
DOI10.1017/S1755020311000219zbMath1252.03068OpenAlexW2144488831WikidataQ60135118 ScholiaQ60135118MaRDI QIDQ3224048
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
collapsecompletenesscombination of logicspropositional logicscombination of classical and intuitionist logics
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