Fibring: Completeness preservation

DOI10.2307/2694931MaRDI QIDQ2732291zbMATH OpenOpenAlexFDO

Authors Alberto Zanardo, Amílcar Sernadas, Cristina Sernadas

Publication date 11 March 2002

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

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

zbMATH Keywords

completenessmodal logiccombining logicsfibringinterpretation systemlogic with equivalence

Mathematics Subject Classification ID

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

Recommendations

• Fibring of logics as a categorial construction
• Fibring non-truth-functional logics: Completeness preservation
• Categorial fibring of logics with terms and binding operators
• Fibring Logics with Topos Semantics
• Preservation of Interpolation Features by Fibring

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• A counterexample in tense logic
• Basic logic: reflection, symmetry, visibility
• Fibring of logics as a categorial construction
• Synchronization of logics
• Why combine logics?

Cited in

(30)

• On the characterization of fibred logics, with applications to conservativity and finite-valuedness
• Fusion of sequent modal logic systems labelled with truth values
• Fibring non-truth-functional logics: Completeness preservation
• On combined connectives
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• On categorial combination of logics
• Truth-values as labels: a general recipe for labelled deduction
• Fibring Labelled Deduction Systems
• Splitting logics
• Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems
• Completeness results for fibred parchments. Beyond the propositional base
• REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
• Combining valuations with society semantics
• scientific article; zbMATH DE number 2079666 (Why is no real title available?)
• Fibring Logics with Topos Semantics
• Modulated fibring and the collapsing problem
• An NP-complete fragment of fibring logic
• Preservation by fibring of the finite model property
• Juxtaposition: a new way to combine logics
• Preservation of admissible rules when combining logics
• Categorical abstract algebraic logic: meet-combination of logical systems
• Malinowski modalization, modalization through fibring and the Leibniz hierarchy
• Importing logics: soundness and completeness preservation
• Recovering a logic from its fragments by meta-fibring
• Deciding theoremhood in fibered logics without shared connectives
• A survey on categories of logics and algebraizable logics
• Interpolation via translations
• Fibring in the Leibniz Hierarchy
• Preservation of complete Baireness
• Fibring as biporting subsumes asymmetric combinations

This page was built for publication: Fibring: Completeness preservation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2732291)