Pages that link to "Item:Q2732291"
From MaRDI portal
The following pages link to Fibring: Completeness preservation (Q2732291):
Displaying 28 items.
- Categorical abstract algebraic logic: meet-combination of logical systems (Q355641) (← links)
- Importing logics: soundness and completeness preservation (Q361861) (← links)
- A survey on categories of logics and algebraizable logics (Q498003) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Fibring non-truth-functional logics: Completeness preservation (Q1868482) (← links)
- On combined connectives (Q1941724) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Recovering a logic from its fragments by meta-fibring (Q2470765) (← links)
- Preservation of complete Baireness (Q2691861) (← links)
- Preservation by fibring of the finite model property (Q3006122) (← links)
- Fusion of sequent modal logic systems labelled with truth values (Q3061282) (← links)
- On the characterization of fibred logics, with applications to conservativity and finite-valuedness (Q3133188) (← links)
- Interpolation via translations (Q3184216) (← links)
- JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS (Q3224048) (← links)
- Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)
- Combining Valuations with Society Semantics (Q3647202) (← links)
- Fibring of logics as a categorial construction (Q4242584) (← links)
- Fibring Logics with Topos Semantics (Q4434616) (← links)
- Modulated fibring and the collapsing problem (Q4451732) (← links)
- Fibring Labelled Deduction Systems (Q4542941) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
- Malinowski modalization, modalization through fibring and the Leibniz hierarchy (Q5176664) (← links)
- Deciding Theoremhood in Fibred Logics Without Shared Connectives (Q5350345) (← links)
- Fibring in the Leibniz Hierarchy (Q5436988) (← links)
- Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems (Q5460205) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900822) (← links)
