Juxtaposition: a new way to combine logics

DOI10.1017/S1755020311000219MaRDI QIDQ3224048zbMATH OpenOpenAlexWikidataFDO

Authors 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

collapsecombination of classical and intuitionist logicscombination of logicscompletenesspropositional logics

Mathematics Subject Classification ID

Combined logics (03B62)

Recommendations

• On meet-combination of logics
• scientific article; zbMATH DE number 1140673
• Combining Classical and Intuitionistic Implications
• Combining fragments of classical logic: when are interaction principles needed?
• Kripke semantics and proof systems for combining intuitionistic logic and classical logic

Cites work

• 2-element matrices
• An algebraic approach to non-classical logics
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Equivalential logics. I
• Fibring of logics as a categorial construction
• Fibring: Completeness preservation
• Fregean logics
• From fibring to cryptofibring. A solution to the collapsing problem
• Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• Modulated fibring and the collapsing problem
• Recovering a logic from its fragments by meta-fibring
• The connectives
• The Suszko operator. I
• Theory of logical calculi. Basic theory of consequence operations
• Untersuchungen über das logische Schliessen. I
• What's so logical about the logical axioms?

Cited in

(12)

• Combining fragments of classical logic: when are interaction principles needed?
• scientific article; zbMATH DE number 3887650 (Why is no real title available?)
• scientific article; zbMATH DE number 3848127 (Why is no real title available?)
• scientific article; zbMATH DE number 4208061 (Why is no real title available?)
• Propositional mixed logic: its syntax and semantics
• scientific article; zbMATH DE number 1140673 (Why is no real title available?)
• Non-deterministic combination of connectives
• Mixing colors, mixing logics
• A localist solution to the problem of mixed inferences by juxtaposition
• Fine on the possibility of vagueness
• Accepting a logic, accepting a theory
• Beyond minimality: mixed inferences as an anti-collapse problem for standard combination mechanisms

This page was built for publication: Juxtaposition: a new way to combine logics

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