Pages that link to "Item:Q2865749"
From MaRDI portal
The following pages link to Free interpretation, quotient interpretation and substitution of a letter with a term for first-order languages (Q2865749):
Displaying 5 items.
- Term context (Q502697) (← links)
- Definition of first-order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms (Q2865747) (← links)
- First order languages: further syntax and semantics (Q2865748) (← links)
- Sequent calculus, derivability, provability. Gödel's completeness theorem (Q2865750) (← links)
- Notion of Interpretation and Nonelementary Languages (Q3822155) (← links)