First order languages: further syntax and semantics

DOI10.2478/V10037-011-0027-0MaRDI QIDQ2865748zbMATH OpenOpenAlexFDO

Authors Marco 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)

Recommendations

• 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
• Preliminaries to classical first-order model theory
• scientific article; zbMATH DE number 1822172
• Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions

Cites work

• Basic first-order model theory in Mizar
• Definition of first-order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms
• Preliminaries to classical first-order model theory
• Semantics of MML query -- ordering

Cited in

(17)

• Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions
• Languages of logic and their applications
• Preliminaries to classical first-order model theory
• 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
• scientific article; zbMATH DE number 4160680 (Why is no real title available?)
• scientific article; zbMATH DE number 4166926 (Why is no real title available?)
• scientific article; zbMATH DE number 4068335 (Why is no real title available?)
• AN APPLICATION OF FIRST-ORDER LOGIC TO THE STUDY OF RECOGNIZABLE LANGUAGES
• scientific article; zbMATH DE number 1822172 (Why is no real title available?)
• Flexary operations
• Euler's partition theorem
• scientific article; zbMATH DE number 1439073 (Why is no real title available?)
• Taxonomic syntax for first order inference
• An extension of first order limit language
• A content semantics for quantified relevant logics. II

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: First order languages: further syntax and semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2865748)