Pages that link to "Item:Q4434616"
From MaRDI portal
The following pages link to Fibring Logics with Topos Semantics (Q4434616):
Displaying 12 items.
- A survey on categories of logics and algebraizable logics (Q498003) (← links)
- Fibring non-truth-functional logics: Completeness preservation (Q1868482) (← links)
- Recovering a logic from its fragments by meta-fibring (Q2470765) (← links)
- Fibring: Completeness preservation (Q2732291) (← links)
- On Graph-theoretic Fibring of Logics (Q3656775) (← links)
- Fibring of logics as a categorial construction (Q4242584) (← links)
- (Q4263083) (← links)
- (Q4279085) (← links)
- (Q4708918) (← links)
- Fibring Modal First-Order Logics: Completeness Preservation (Q4779584) (← links)
- (Q4873969) (← links)
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)