Modulated fibring and the collapsing problem
From MaRDI portal
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
(13)- Truth-values as labels: a general recipe for labelled deduction
- 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
- 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
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)
