First Order Theories for Partial Models

&
Studia Logica 80 (1):105-120 (2005)
  Copy   BIBTEX

Abstract

We investigate first order sentences valid in completions of a given partial algebraic structure - a partial model. We give semantic and syntactic description of the set of all sentences valid in every completion of the given partial model - first order theory of this model.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-005-6779-1

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,314

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Interpolation in Extensions of First-Order Logic.Guido Gherardi, Paolo Maffezioli & Eugenio Orlandelli - 2020 - Studia Logica 108 (3):619-648.
On partial disjunction properties of theories containing Peano arithmetic.Taishi Kurahashi - 2018 - Archive for Mathematical Logic 57 (7-8):953-980.
Loosely guarded fragment of first-order logic has the finite model property.Ian Hodkinson - 2002 - Studia Logica 70 (2):205 - 240.
Logic Families.Hajnal Andréka, Zalán Gyenis, István Németi & Ildikó Sain - forthcoming - Studia Logica:1-47.
An Institution-Independent Proof of the Robinson Consistency Theorem.Daniel Gâinâ & Andrei Popescu - 2007 - Studia Logica 85 (1):41-73.
Quasi-varieties: A special access.Hans-Jürgen Hoehnke - 2004 - Studia Logica 78 (1-2):249 - 260.
Modal logic and model theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.
Disjunction and Existence Properties in Inquisitive First-Order Logic.Gianluca Grilletti - 2019 - Studia Logica 107 (6):1199-1234.
Semantics of Computable Physical Models.Matthew P. Szudzik - 2023 - Studia Logica 111 (5):779-819.

Analytics

Added to PP
2009-01-28

Downloads
48 (#480,117)

6 months
2 (#1,294,541)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Possible sets of equations.Bozena Staruch & Bogdan Staruch - 2002 - Bulletin of the Section of Logic 32:85-95.
Derivation from partial knowledge in partial models.Bozena Staruch - 2002 - Bulletin of the Section of Logic 32:75-84.

Add more references