Pages that link to "Item:Q5015729"
From MaRDI portal
The following pages link to FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729):
Displaying 6 items.
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages (Q879351) (← links)
- Chu duality theory and coalgebraic representation of quantum symmetries (Q2125156) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION (Q3679177) (← links)
- (Q4873969) (← links)
- Fibered universal algebra for first-order logics (Q6051097) (← links)