Pages that link to "Item:Q4644543"
From MaRDI portal
The following pages link to Löwenheim–Skolem theorems for non-classical first-order algebraizable logics: Table 1. (Q4644543):
Displaying 11 items.
- Notes on the model theory of DeMorgan logics (Q424585) (← links)
- Fraïssé classes of graded relational structures (Q1643146) (← links)
- Back-and-forth systems for fuzzy first-order models (Q1795203) (← links)
- A Lindström theorem in many-valued modal logic over a finite MTL-chain (Q2219166) (← links)
- Lindström theorems in graded model theory (Q2220488) (← links)
- Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic (Q2317508) (← links)
- On the existence of free models in fuzzy universal Horn classes (Q2410497) (← links)
- Combinatorics of $\lambda$-terms: a natural approach (Q3133181) (← links)
- The downward transfer of elementary satisfiability of partition logics (Q4521123) (← links)
- A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS (Q5251374) (← links)
- Characterisations of ${\varSigma }$-pure-injectivity in triangulated categories and applications to endocoperfect objects (Q6108395) (← links)
