Modulated fibring and the collapsing problem

DOI10.2178/jsl/1190150298zbMath1043.03010OpenAlexW2036986624MaRDI QIDQ4451732

Walter Alexandre 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

zbMATH Keywords

combining logicsHilbert systemsinterpretation systemscollapsing problemfibring of logic systemsmodulated fibring

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items (10)

Interpolation via translations ⋮ Essential structure of proofs as a measure of complexity ⋮ JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS ⋮ Deciding Theoremhood in Fibred Logics Without Shared Connectives ⋮ Conservative translations revisited ⋮ An NP-complete fragment of fibring logic ⋮ A survey on categories of logics and algebraizable logics ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ Truth-values as labels: a general recipe for labelled deduction ⋮ REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION

Cites Work

• Unnamed Item
• Unnamed Item
• Limits for paraconsistent calculi
• Why combine logics?
• Bi-Heyting algebras, toposes and modalities
• Fibring: completeness preservation
• Systematization of finite many-valued logics through the method of tableaux
• The Logic of Contradiction
• Fibring of logics as a categorial construction

This page was built for publication: Modulated fibring and the collapsing problem