Fibring: completeness preservation

DOI10.2307/2694931zbMath0981.03011OpenAlexW2042927584MaRDI QIDQ2732291

Alberto Zanardo, Cristina Sernadas, Amílcar Sernadas

Publication date: 11 March 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2694931

zbMATH Keywords

modal logiccompletenesscombining logicsfibringinterpretation systemlogic with equivalence

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Abstract deductive systems (03B22)

Related Items (14)

Interpolation via translations ⋮ Categorical abstract algebraic logic: meet-combination of logical systems ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS ⋮ Deciding Theoremhood in Fibred Logics Without Shared Connectives ⋮ On combined connectives ⋮ An NP-complete fragment of fibring logic ⋮ A survey on categories of logics and algebraizable logics ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ Fibring as biporting subsumes asymmetric combinations ⋮ Modulated fibring and the collapsing problem ⋮ Truth-values as labels: a general recipe for labelled deduction ⋮ Combining Valuations with Society Semantics ⋮ REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Why combine logics?
• Synchronization of logics
• A counterexample in tense logic
• Fibring of logics as a categorial construction
• Basic logic: reflection, symmetry, visibility

This page was built for publication: Fibring: completeness preservation