Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages

DOI10.2478/V10037-011-0028-ZzbMath1276.03033OpenAlexW2030096948MaRDI QIDQ2865749

Marco Bright Caminati

Publication date: 3 December 2013

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/v10037-011-0028-z

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Basic properties of first-order languages and structures (03C07)

Related Items (1)

Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem

Cites Work

• Semantics of MML Query - Ordering
• Preliminaries to Classical First Order Model Theory
• Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms
• First Order Languages: Further Syntax and Semantics
• Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem

This page was built for publication: Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages