Modulated fibring and the collapsing problem
From MaRDI portal
Recommendations
- Analysis and synthesis of logics. How to cut and paste reasoning systems
- From fibring to cryptofibring. A solution to the collapsing problem
- Fibring: Completeness preservation
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
- scientific article; zbMATH DE number 1219632
Cites work
- A treatise on many-valued logics
- Bi-Heyting algebras, toposes and modalities
- Fibring of logics as a categorial construction
- Fibring: Completeness preservation
- scientific article; zbMATH DE number 1219632 (Why is no real title available?)
- Limits for paraconsistent calculi
- Systematization of finite many-valued logics through the method of tableaux
- The Logic of Contradiction
- Why combine logics?
Cited in
(16)- Essential structure of proofs as a measure of complexity
- Interpolation via translations
- Juxtaposition: a new way to combine logics
- Truth-values as labels: a general recipe for labelled deduction
- scientific article; zbMATH DE number 1219632 (Why is no real title available?)
- Fibring Modal First-Order Logics: Completeness Preservation
- A survey on categories of logics and algebraizable logics
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
- Deciding theoremhood in fibered logics without shared connectives
- Preservation of admissible rules when combining logics
- Conservative translations revisited
- On combining intuitionistic and S4 modal logic
- Meet-combination of consequence systems
- Beyond minimality: mixed inferences as an anti-collapse problem for standard combination mechanisms
- From fibring to cryptofibring. A solution to the collapsing problem
- An NP-complete fragment of fibring logic
This page was built for publication: Modulated fibring and the collapsing problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4451732)
