First Order Languages: Further Syntax and Semantics
From MaRDI portal
Publication:2865748
DOI10.2478/v10037-011-0027-0zbMath1276.03032MaRDI QIDQ2865748
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
03B35: Mechanization of proofs and logical operations
03C07: Basic properties of first-order languages and structures
Related Items
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
Cites Work