Pages that link to "Item:Q4242584"
From MaRDI portal
The following pages link to Fibring of logics as a categorial construction (Q4242584):
Displaying 32 items.
- Categorical abstract algebraic logic: meet-combination of logical systems (Q355641) (← links)
- A survey on categories of logics and algebraizable logics (Q498003) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Disjoint fibring of non-deterministic matrices (Q1685929) (← links)
- Fibred semantics for feature-based grammar logic (Q1923842) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- Coproduct and amalgamation of deductive systems by means of ordered algebras (Q2169140) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- Stratified institutions and elementary homomorphisms (Q2379932) (← links)
- Structuring the universe of universal logic (Q2470759) (← links)
- Recovering a logic from its fragments by meta-fibring (Q2470765) (← links)
- Fibring: Completeness preservation (Q2732291) (← links)
- Categorial fibring of logics with terms and binding operators (Q2782494) (← links)
- Multiplicative linear logics and fibrations (Q2842824) (← links)
- On the characterization of fibred logics, with applications to conservativity and finite-valuedness (Q3133188) (← links)
- JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS (Q3224048) (← links)
- Distributed Modal Logic (Q3305433) (← links)
- 2005–06 Winter Meeting of the Association for Symbolic Logic (Q3412464) (← links)
- Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)
- Fibring Logics with Topos Semantics (Q4434616) (← links)
- Modulated fibring and the collapsing problem (Q4451732) (← links)
- Fibring Labelled Deduction Systems (Q4542941) (← links)
- A fibrational framework for substructural and modal logics (Q5111322) (← links)
- Malinowski modalization, modalization through fibring and the Leibniz hierarchy (Q5176664) (← links)
- Homotopical Categories of Logics (Q5258961) (← 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)
