Home > Research > Publications & Outputs > First order languages: Further syntax and seman...

Research

Associated organisational unit

Text available via DOI:

View graph of relations

First order languages: Further syntax and semantics

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Published

Standard

First order languages: Further syntax and semantics. / Caminati, Marco.
In: Formalized Mathematics, Vol. 19, No. 3, 30.09.2011, p. 179-192.

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Harvard

Caminati, M 2011, 'First order languages: Further syntax and semantics', Formalized Mathematics, vol. 19, no. 3, pp. 179-192. https://doi.org/10.2478/v10037-011-0027-0

APA

Caminati, M. (2011). First order languages: Further syntax and semantics. Formalized Mathematics, 19(3), 179-192. https://doi.org/10.2478/v10037-011-0027-0

Vancouver

Caminati M. First order languages: Further syntax and semantics. Formalized Mathematics. 2011 Sept 30;19(3):179-192. doi: 10.2478/v10037-011-0027-0

Author

Caminati, Marco. / First order languages: Further syntax and semantics. In: Formalized Mathematics. 2011 ; Vol. 19, No. 3. pp. 179-192.

Bibtex

@article{d6229f9cedfe494a8c86b69eddf9fe74,
title = "First order languages: Further syntax and semantics",
abstract = "Third of a series of articles laying down the bases for classical first order model theory. Interpretation of a language in a universe set. Evaluation of a term in a universe. Truth evaluation of an atomic formula. Reassigning the value of a symbol in a given interpretation. Syntax and semantics of a non atomic formula are then defined concurrently (this point is explained in [16], 4.2.1).As a consequence, the evaluation of any w.f.f. string and the relation of logical implication are introduced. Depth of a formula. Definition of satisfaction and entailment (aka entailment or logical implication) relations, see [18] III.3.2 and III.4.1 respectively.",
author = "Marco Caminati",
year = "2011",
month = sep,
day = "30",
doi = "10.2478/v10037-011-0027-0",
language = "English",
volume = "19",
pages = "179--192",
journal = "Formalized Mathematics",
number = "3",

}

RIS

TY - JOUR

T1 - First order languages: Further syntax and semantics

AU - Caminati, Marco

PY - 2011/9/30

Y1 - 2011/9/30

N2 - Third of a series of articles laying down the bases for classical first order model theory. Interpretation of a language in a universe set. Evaluation of a term in a universe. Truth evaluation of an atomic formula. Reassigning the value of a symbol in a given interpretation. Syntax and semantics of a non atomic formula are then defined concurrently (this point is explained in [16], 4.2.1).As a consequence, the evaluation of any w.f.f. string and the relation of logical implication are introduced. Depth of a formula. Definition of satisfaction and entailment (aka entailment or logical implication) relations, see [18] III.3.2 and III.4.1 respectively.

AB - Third of a series of articles laying down the bases for classical first order model theory. Interpretation of a language in a universe set. Evaluation of a term in a universe. Truth evaluation of an atomic formula. Reassigning the value of a symbol in a given interpretation. Syntax and semantics of a non atomic formula are then defined concurrently (this point is explained in [16], 4.2.1).As a consequence, the evaluation of any w.f.f. string and the relation of logical implication are introduced. Depth of a formula. Definition of satisfaction and entailment (aka entailment or logical implication) relations, see [18] III.3.2 and III.4.1 respectively.

U2 - 10.2478/v10037-011-0027-0

DO - 10.2478/v10037-011-0027-0

M3 - Journal article

VL - 19

SP - 179

EP - 192

JO - Formalized Mathematics

JF - Formalized Mathematics

IS - 3

ER -