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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
BARTOL,W., ‘Introduction to the Theory of Partial Algebras’, Lectures on Algebras, Equations and Partiality, Univ. of Balearic Islands, Technical Report B-006, 1992: 36–71.
BURMEISTER, P., A Model Theoretic Oriented Approach to Partial Algebras, Vol.32 ofMathematical Research, Akademie-Verlag, 1986.
Burris,S., and H.P. Sankappanavar, A Course in Universal Algebra, Springer- Verlag, 1981.
KONOLIGE,K. ‘Autoepistemic Logic’, in D.M. Gabbay, C. J. Hogger, J.A. Robinson, (eds.),Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Oxford University Press, 1994, pp. 216–234.
POOLE,D., ‘Default Logic’, in D.M. Gabbay, C. J. Hogger, J.A. Robinson, (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Oxford University Press, 1994, pp. 189–215.
SCOTT,D., ‘Domains For Denotational Semantics’, in Proc. ICALP’82, Lect. Notes in. Comp.Sc.140, 1982: 577–613.
SHOENFIELD, J.R., Mathematical Logic, Addison-Wesley Publishing Company, 1967.
STARUCH,B., ‘Derivation from partial knowledge in partial models’, Bulletin of the Section of Logic 32, 2002: 75–84.
STARUCH,B. and B. STARUCH, ‘Possible sets of equations’, Bulletin of the Section of Logic 32,2002: 85–95.
STARUCH,B. and B. STARUCH, ‘Partial Algebras in Logic’, submited to Logika, Acta Universitatis Vratislaviensis, (2002).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Staruch, B., Staruch, B. First Order Theories for Partial Models. Stud Logica 80, 105–120 (2005). https://doi.org/10.1007/s11225-005-6779-1
Received:
Issue Date:
DOI: https://doi.org/10.1007/s11225-005-6779-1