论文信息 - First Order Theories for Partial Models

First Order Theories for Partial Models

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.

Bozena Staruch | Bogdan Staruch

[1] Bozena Staruch. DERIVATION FROM PARTIAL KNOWLEDGE IN PARTIAL MODELS , 2003 .

[2] Bogdan Staruch,et al. Possible sets of equations , 2002 .

[3] Kurt Konolige,et al. Autoepistemic logic , 1994 .

[4] Dana S. Scott,et al. Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.

[5] Joseph R. Shoenfield,et al. Mathematical logic , 1967 .

[6] Stanley Burris,et al. A course in universal algebra , 1981, Graduate texts in mathematics.

[7] P. Burmeister. A Model Theoretic Oriented Approach to Partial Algebras , 1986 .

[8] David Poole,et al. Default logic , 1994 .