Fibring: Completeness preservation
From MaRDI portal
Publication:2732291
DOI10.2307/2694931zbMATH Open0981.03011OpenAlexW2042927584MaRDI QIDQ2732291FDOQ2732291
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
Recommendations
Modal logic (including the logic of norms) (03B45) Abstract deductive systems (03B22) Categorical logic, topoi (03G30)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fibring of logics as a categorial construction
- A counterexample in tense logic
- Why combine logics?
- Basic logic: reflection, symmetry, visibility
- Title not available (Why is that?)
- Synchronization of 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
- Title not available (Why is that?)
- Fibring Logics with Topos Semantics
- Modulated fibring and the collapsing problem
- Preservation by fibring of the finite model property
- An NP-complete fragment of fibring logic
- Juxtaposition: a new way to combine logics
- Preservation of admissible rules when combining logics
- Malinowski modalization, modalization through fibring and the Leibniz hierarchy
- Recovering a logic from its fragments by meta-fibring
- Categorical abstract algebraic logic: meet-combination of logical systems
- Importing logics: soundness and completeness preservation
- Deciding theoremhood in fibered logics without shared connectives
- Fibring in the Leibniz Hierarchy
- Interpolation via translations
- A survey on categories of logics and algebraizable logics
- 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)
