Modulated fibring and the collapsing problem
From MaRDI portal
(Redirected from Publication:4451732)
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
- scientific article; zbMATH DE number 1219632 (Why is no real title available?)
- A treatise on many-valued logics
- Bi-Heyting algebras, toposes and modalities
- Fibring of logics as a categorial construction
- Fibring: Completeness preservation
- 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)- Truth-values as labels: a general recipe for labelled deduction
- Meet-combination of consequence systems
- Fibring Modal First-Order Logics: Completeness Preservation
- scientific article; zbMATH DE number 1219632 (Why is no real title available?)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
- Beyond minimality: mixed inferences as an anti-collapse problem for standard combination mechanisms
- An NP-complete fragment of fibring logic
- Juxtaposition: a new way to combine logics
- Preservation of admissible rules when combining logics
- Essential structure of proofs as a measure of complexity
- Deciding theoremhood in fibered logics without shared connectives
- A survey on categories of logics and algebraizable logics
- Interpolation via translations
- Conservative translations revisited
- From fibring to cryptofibring. A solution to the collapsing problem
- On combining intuitionistic and S4 modal 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)
