Abstract
In this paper we develop an abstract theory of adequacy. In the same way as the theory of consequence operations is a general theory of logic, this theory of adequacy is a general theory of the interactions and connections between consequence operations and its sound and complete semantics. Addition of axioms for the connectives of propositional logic to the basic axioms of consequence operations yields a unifying framework for different systems of classical propositional logic. We present an abstract model-theoretical semantics based on model mappings and theory mappings. Between the classes of models and theories, i.e., the set of sentences verified by a model, it obtains a connection that is well-known within algebra as Galois correspondence. Many basic semantical properties can be derived from this observation. A sentence A is a semantical consequence of T if every model of T is also a model of A. A model mapping is adequate for a consequence operation if its semantical inference operation is identical with the consequence operation. We study how properties of an adequate model mapping reflect the properties of the consequence operation and vice versa. In particular, we show how every concept of the theory of consequence operations can be formulated semantically.
Article PDF
Similar content being viewed by others
References
Barwise J.K.: Axioms for abstract model theory. Ann. Math. Logic 7, 221–265 (1974)
Barwise, J.K., Feferman, S. (eds): Model-Theoretic Logics. Springer, Berlin (1985)
Beziau, J.Y.: La V́eritable Portée Du Théorème de Lindenbaum-Asser. Logique et Analyse, 167–168, 341–359 (1999)
Beziau J.Y.: From consequence operator to universal logic: a survey of general abstract logic. In: Beziau, J.Y. (ed) Logica Universalis., pp. 3–19. Birkhäuser, Basel (2007)
Birkhoff G.: Lattice Theory. American Mathematical Society, Providence (1967)
Cohn P.M.: Universal Algebra. Harper and Row, New York (1965)
García-Matos M., Väänänen J.: Abstract model theory as a framework for universal logic. In: Beziau, J.Y. (ed) Logica Universalis., pp. 19–33. Birkhäuser, Basel (2007)
Kleinknecht, R.: Lecture Notes Logic 3. University of Salzburg, 2005–2006, unpublished
Lewitzka S.: a topological approach to universal logic: model-theoretical abstract logics. In: Beziau, J.Y. (ed) Logica Universalis, pp. 35–61. Birkhäuser, Basel (2007)
Lewitzka S., Brunner A.B.M.: Minimally generated abstract logics. Logica Universalis. 3, 219–241 (2009)
Los J., Suzko R.: Remarks on sentential logic. Indag. Mathe. 20, 177–183 (1958)
Makinson D.: Bridges from Classical to Nonmonotonic Logic. King’s College Publications, London (2005)
Smith, P.: The galois connection between syntax and semantics. http://www.logicmatters.net/resources/pdfs/Galois.pdf, 2010 (Download: September, 3th 2012)
Surma S.J.: On the axiomatic treatment of the theory of models 1. Universitates Iagellonica Acta Scientarium Litterarumque, Schedae Logicae CCVIII. 4, 39–45 (1969)
Tarski, A.: On some fundamental concepts of metamathematics. In: Logic, Semantics and Metamathematics (trans: Woodger,J.H), pp. 30–38. Clarendon Press, Oxford (1969)
Tarski, A.: Fundamental concepts of the methodology of the deductive sciences. In: Logic, Semantics and Metamathematics (trans: Woodger,J.H), pp. 60–110. Clarendon Press, Oxford (1969)
Wojcicki R.: Theory of Logical Calculi. Kluwer Academic Publishers, Dordrecht (1988)
Acknowledgements
This work was supported by the Austrian Science Fund(FWF):I141-G15 (Project Leader: Gernot Kleiter) as part of the LogICCC programme of the European Science Foundation. Many thanks to three anonymous reviewers for their very detailed, and extremely useful comments. They helped a lot to improve a first version of the paper. I am indebted to Reinhard Kleinknecht for having first introduced me to consequence operations and the notion of adequate model mappings.
Open Access
This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Wallmann, C. A Shared Framework for Consequence Operations and Abstract Model Theory. Log. Univers. 7, 125–145 (2013). https://doi.org/10.1007/s11787-012-0069-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-012-0069-2