Modulated fibring and the collapsing problem
From MaRDI portal
Publication:4451732
DOI10.2178/JSL/1190150298zbMATH Open1043.03010OpenAlexW2036986624MaRDI QIDQ4451732FDOQ4451732
Walter Carnielli, João Rasga, Cristina Sernadas
Publication date: 1 March 2004
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1190150298
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
combining logicsHilbert systemsinterpretation systemscollapsing problemfibring of logic systemsmodulated fibring
Cites Work
- A treatise on many-valued logics
- The Logic of Contradiction
- Limits for paraconsistent calculi
- Bi-Heyting algebras, toposes and modalities
- Fibring: Completeness preservation
- Fibring of logics as a categorial construction
- Why combine logics?
- Title not available (Why is that?)
- Systematization of finite many-valued logics through the method of tableaux
Cited In (13)
- Truth-values as labels: a general recipe for labelled deduction
- Fibring Modal First-Order Logics: Completeness Preservation
- Title not available (Why is that?)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS
- Deciding Theoremhood in Fibred Logics Without Shared Connectives
- An NP-complete fragment of fibring logic
- Conservative translations revisited
- Essential structure of proofs as a measure of complexity
- Interpolation via translations
- A survey on categories of logics and algebraizable logics
- From fibring to cryptofibring. A solution to the collapsing problem
- JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS
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)
