First Order Languages: Further Syntax and Semantics

DOI10.2478/v10037-011-0027-0zbMath1276.03032OpenAlexW2035381591MaRDI QIDQ2865748

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-0027-0

Mathematics Subject Classification ID

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

Related Items (5)

Flexary operations ⋮ Euler's partition theorem ⋮ Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms ⋮ Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages ⋮ Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem

Uses Software

• Mizar

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
• Unnamed Item

This page was built for publication: First Order Languages: Further Syntax and Semantics