Pages that link to "Item:Q2865748"
From MaRDI portal
The following pages link to First order languages: further syntax and semantics (Q2865748):
Displaying 15 items.
- Flexary operations (Q491771) (← links)
- Euler's partition theorem (Q491772) (← links)
- A content semantics for quantified relevant logics. II (Q910392) (← links)
- Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions (Q1606725) (← links)
- Languages of logic and their applications (Q2425445) (← links)
- Preliminaries to classical first-order model theory (Q2865746) (← links)
- Definition of first-order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms (Q2865747) (← links)
- Free interpretation, quotient interpretation and substitution of a letter with a term for first-order languages (Q2865749) (← links)
- Sequent calculus, derivability, provability. Gödel's completeness theorem (Q2865750) (← links)
- (Q3493312) (← links)
- (Q3801107) (← links)
- AN APPLICATION OF FIRST-ORDER LOGIC TO THE STUDY OF RECOGNIZABLE LANGUAGES (Q4658712) (← links)
- (Q4951398) (← links)
- Taxonomic syntax for first order inference (Q5286163) (← links)
- An extension of first order limit language (Q6075561) (← links)