Pages that link to "Item:Q5251374"
From MaRDI portal
The following pages link to A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS (Q5251374):
Displaying 5 items.
- Fraïssé classes of graded relational structures (Q1643146) (← links)
- Skolemization and Herbrand theorems for lattice-valued logics (Q1733060) (← 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)
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics (Q6079419) (← links)
