Skip to main content
SpringerLink
Log in

Representations of structural closure operators

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

    We’re sorry, something doesn't seem to be working properly.

    Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Abstract

We continue the work of Blok and Jónsson by developing the theory of structural closure operators and introducing the notion of a representation between them. Similarities and equivalences of Blok-Jónsson turn out to be bijective representations and bijective structural representations, respectively. We obtain a characterization for representations induced by a transformer. In order to obtain a similar characterization for structural representations we introduce the notions of a graduation and a graded variable of an M-set. We show that several deductive systems, Gentzen systems among them, are graded M-sets having graded variables, and describe the graded variables in each case. In the last section we show that, for a sentential logic, having an algebraic semantics is equivalent to being representable in an equational consequence. This motivates the extension of the notion of having an algebraic semantics for Gentzen systems, hypersequents systems, etc. We prove that if a closure operator is representable by a transformer, then every extension of it is also representable by the same transformer. As a consequence we obtain that if one of these systems has an algebraic semantics, then so does any of its extensions with the same defining equations.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Hodges, W., Hyland, M., Steinhorn, C., Truss, J. (eds.) Logic: From Foundations to Applications. Proc. Logic Colloquium, Keele, UK, 1993, pp. 1–32. Oxford University Press, New York (1996)

  2. Baaz M., Fermüller C.G., Zach R.: Elimination of cuts in first-order finite-valued logics. J. Inform. Process. Cybernet., EIK 29(6), 333–355 (1994)

    Google Scholar 

  3. Blok W.J., Bjarni J.: Equivalence of consequence operations. Studia Logica, 83(1–3), 91–110 (2006) With a preface by Jónsson

    Article  MATH  MathSciNet  Google Scholar 

  4. Blyth T.S.: Lattices and Ordered Algebraic Structures Universitext. Springer-Verlag London Ltd, London (2005)

    Google Scholar 

  5. Blok W.J., Pigozzi D.: Algebraizable logics. Mem. Am. Math. Soc 77(396), vi+78 (1989)

    MathSciNet  Google Scholar 

  6. Blok, W.J., Rebagliato, J.: Algebraic semantics for deductive systems. Studia Logica, 74(1–2):153–180, 2003. Abstract algebraic logic, Part II (Barcelona, 1997)

    Google Scholar 

  7. Czelakowski J., Jansana R.: Weakly algebraizable logics. J. Symb. Log. 65(2), 641–668 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  8. Czelakowski J.: Protoalgebraic logics, volume 10 of Trends in Logic—Studia Logica Library. Kluwer Academic Publishers, Dordrecht (2001)

    Google Scholar 

  9. Jairo, J., Silva, D., D’Ottaviano, I.M.L., Sette, A.M.: Translations between logics. In: Models, Algebras, and Proofs (Bogotá, 1995), volume 203 of Lecture Notes in Pure and Appl. Math., pp. 435–448. Dekker, New York (1999)

  10. Hércules, A.F., D’Ottaviano, I.M.L.: Conservative translations. In: Proceedings of the XIth Latin American Symposium on Mathematical Logic (Mérida, 1998), vol. 108, pp. 205–227 (2001)

  11. Font J.M., Jansana R., Pigozzi D.: A survey of abstract algebraic logic. Studia Logica, 74(1–2), 13–97 (2003) Abstract algebraic logic, Part II (Barcelona, 1997)

    Article  MATH  MathSciNet  Google Scholar 

  12. Gil À.J., Rebagliato J.: Protoalgebraic Gentzen systems and the cut rule. Studia Logica, 65(1), 53–89 (2000) Abstract algebraic logic, I (Barcelona, 1997)

    Article  MATH  MathSciNet  Google Scholar 

  13. Galatos N., Tsinakis C.: Equivalence of consequence relations: an order-theoretic and categorical perspective. J. Symb. Log. 74(3), 780–810 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  14. Raftery J.G.: Correspondences between Gentzen and Hilbert systems. J. Symb. Log. 71(3), 903–957 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  15. Rasiowa H.: An algebraic approach to non-classical logics, volume 78 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1974)

    Google Scholar 

  16. Rousseau G.: Sequents in many valued logic. I. Fund. Math 60, 23–33 (1967)

    MathSciNet  Google Scholar 

  17. Rebagliato, J., Verdú, V.: Algebraizable gentzen systems and the deduction theorem for gentzen systems. Mathematics Preprint Series, (175), June 1995

  18. van Heijenoort, J. (ed.): From Frege to Gödel. A source book in mathematical logic, 1879–1931. Reprint of the 3rd printing of the 1967 original, xii, p. 665. Harvard University Press, Cambridge, MA, (2002)

Download references

Author information

Authors and Affiliations

  1. Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

    José Gil-Férez

Authors
  1. José Gil-Férez
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to José Gil-Férez.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gil-Férez, J. Representations of structural closure operators. Arch. Math. Logic 50, 45–73 (2011). https://doi.org/10.1007/s00153-010-0201-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-010-0201-z

Keywords

Mathematics Subject Classification (2010)

Search

Navigation