Fibring: Completeness preservation
From MaRDI portal
Publication:2732291
Recommendations
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)