Logica Universalis

, Volume 7, Issue 2, pp 125–145 | Cite as

A Shared Framework for Consequence Operations and Abstract Model Theory

Open Access


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.

Mathematics Subject Classification (2010)

Primary 03C95 Secondary 03B22 


Consequence operation abstract model theory Galois correspondence completeness adequacy classical propositional logic 


  1. 1.
    Barwise J.K.: Axioms for abstract model theory. Ann. Math. Logic 7, 221–265 (1974)MathSciNetMATHCrossRefGoogle Scholar
  2. 2.
    Barwise, J.K., Feferman, S. (eds): Model-Theoretic Logics. Springer, Berlin (1985)Google Scholar
  3. 3.
    Beziau, J.Y.: La V́eritable Portée Du Théorème de Lindenbaum-Asser. Logique et Analyse, 167–168, 341–359 (1999)Google Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    Birkhoff G.: Lattice Theory. American Mathematical Society, Providence (1967)MATHGoogle Scholar
  6. 6.
    Cohn P.M.: Universal Algebra. Harper and Row, New York (1965)MATHGoogle Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    Kleinknecht, R.: Lecture Notes Logic 3. University of Salzburg, 2005–2006, unpublishedGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    Lewitzka S., Brunner A.B.M.: Minimally generated abstract logics. Logica Universalis. 3, 219–241 (2009)MathSciNetMATHCrossRefGoogle Scholar
  11. 11.
    Los J., Suzko R.: Remarks on sentential logic. Indag. Mathe. 20, 177–183 (1958)Google Scholar
  12. 12.
    Makinson D.: Bridges from Classical to Nonmonotonic Logic. King’s College Publications, London (2005)MATHGoogle Scholar
  13. 13.
    Smith, P.: The galois connection between syntax and semantics. http://www.logicmatters.net/resources/pdfs/Galois.pdf, 2010 (Download: September, 3th 2012)
  14. 14.
    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)MathSciNetGoogle Scholar
  15. 15.
    Tarski, A.: On some fundamental concepts of metamathematics. In: Logic, Semantics and Metamathematics (trans: Woodger,J.H), pp. 30–38. Clarendon Press, Oxford (1969)Google Scholar
  16. 16.
    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)Google Scholar
  17. 17.
    Wojcicki R.: Theory of Logical Calculi. Kluwer Academic Publishers, Dordrecht (1988)MATHCrossRefGoogle Scholar

Copyright information

© The Author(s) 2012

Authors and Affiliations

  1. 1.Department of PsychologyUniversity of SalzburgSalzburgAustria

Personalised recommendations