Skip to main content
SpringerLink
Log in

On the Closure Properties of the Class of Full G-models of a Deductive System

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper we consider the structure of the class FGModS of full generalized models of a deductive system S from a universal-algebraic point of view, and the structure of the set of all the full generalized models of S on a fixed algebra A from the lattice-theoretical point of view; this set is represented by the lattice FACS s A of all algebraic closed-set systems C on A such that (A, C) ε FGModS. We relate some properties of these structures with tipically logical properties of the sentential logic S. The main algebraic properties we consider are the closure of FGModS under substructures and under reduced products, and the property that for any A the lattice FACS s A is a complete sublattice of the lattice of all algebraic closed-set systems over A. The logical properties are the existence of a fully adequate Gentzen system for S, the Local Deduction Theorem and the Deduction Theorem for S. Some of the results are established for arbitrary deductive systems, while some are found to hold only for deductive systems in more restricted classes like the protoalgebraic or the weakly algebraizable ones. The paper ends with a section on examples and counterexamples.

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. ADILLON, R., and V. VERDU, ‘On product logic’, Soft Computing, 2 (1998), 141–146.

    Google Scholar 

  2. BlRKHOFF, G., Lattice Theory, vol. XXV of Colloquium Publications, 3rd. edn., American Mathematical Society, Providence, 1973. (1st. ed. 1940).

    Google Scholar 

  3. BLOK, W., and D. PIGOZZI, ‘Protoalgebraic logics’, Studia Logica, 45 (1986), 337–369.

    Article  Google Scholar 

  4. BLOK, W., and D. PlGOZZI, Algebraizable logics, vol. 396 of Mem. Amer. Math. Soc., A.M.S., Providence, 1989.

  5. BLOK, W., and D. PlGOZZI, ‘The Deduction Theorem in Algebraic Logic’, 1989. Unpublished manuscript, partly subsumed in [8].

  6. BLOK, W., and D. PIGOZZI, ‘Local deduction theorems in algebraic logic’, in H. Andreka, J. D. Monk, and I. Nemeti, (eds.), Algebraic Logic, vol. 54 of Colloq. Math. Soc. Jdnos Bolyai, North-Holland, Amsterdam, 1991, pp. 75–109.

    Google Scholar 

  7. BLOK, W., and D. PIGOZZI, ‘Algebraic semantics for universal Horn logic without equality’, in A. R.omanowska, and J. D. H. Smith, (eds.), Universal Algebra and Quasigroup Theory, Heldermann, Berlin, 1992, pp. 1–56.

    Google Scholar 

  8. BLOK, W., and D. PlGOZZI, ‘Abstract algebraic logic and the deduction theorem’, Bulletin of Symbolic Logic, (200x). To appear.

  9. BLOOM, S. L., ‘Some theorems on structural consequence operations’, Studia Logica, 34 (1975), 1–9.

    Article  Google Scholar 

  10. BROWN, D. J., and R. SUSZKO, ‘Abstract logics’, Dissertationes Math. (Rozprawy Mat.), 102 (1973), 9–42.

    Google Scholar 

  11. CASANOVAS, E., P. DELLUNDE, and R. JANSANA, ‘On elementary equivalence for equality-free logic’, Notre Dame Journal of Formal Logic, 37 (1996), 506–522.

    Article  Google Scholar 

  12. CZELAKOWSKI, J., ‘R.educed products of logical matrices’, Studia Logica, 39 (1980), 19–43.

    Article  Google Scholar 

  13. CZELAKOWSKI, J., ‘Equivalential logics, I, IP, Studia Logica, 40 (1981), 227–236 and 355–372.

    Article  Google Scholar 

  14. CZELAKOWSKI, J., ‘Filter distributive logics’, Studia Logica, 43 (1984), 353–377.

    Article  Google Scholar 

  15. CZELAKOWSKI, J., ‘Algebraic aspects of deduction theorems’, Studia Logica, 44 (1985), 369–387.

    Article  Google Scholar 

  16. CZELAKOWSKI, J., ‘Local deductions theorems’, Studia Logica, 45 (1986), 377–391.

    Article  Google Scholar 

  17. CZELAKOWSKI, J., ‘Consequence operations: Foundational studies’, Reports of the research project “Theories, models, cognitive schemata”, Institute of Philosophy and Sociology, Polish Academy of Sciences, Warszawa, 1992.

  18. CZELAKOWSKI, J., Protoalgebraic logics, vol. 10 of Trends in Logic - Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 2001.

    Google Scholar 

  19. CZELAKOWSKI, J., and W. DZIOBIAK, ‘The deduction-like theorem for quasivarieties of algebras and its application’, in H. Andreka, J. D. Monk, and I. Nemeti, (eds.), Algebraic logic, vol. 54 of Colloq. Math. Soc. Jdnos Bolyai, North-Holland, Amsterdam, 1991, pp. 8–14.

    Google Scholar 

  20. CZELAKOWSKI, J., and W. DZIOBIAK, ‘A deduction theorem schema for deductive systems of propositional logics’, Studia Logica (Special Issue on Algebraic Logic), 50 (1991), 385–390.

    Google Scholar 

  21. CZELAKOWSKI, J., and R. ELGUETA, ‘Local characterization theorems for some classes of structures’, Ada Scientiarum Mathematicarum (Szeged), 65 (1999), 19–32.

    Google Scholar 

  22. CZELAKOWSKI, J., and R. JANSANA, ‘Weakly algebraizable logics’, The Journal of Symbolic Logic, 65 (2000), 641–668.

    Article  Google Scholar 

  23. CZELAKOWSKI, J., and D. PIGOZZI, ‘Amalgamation and interpolation in abstract algebraic logic’, in X. Caicedo, and Carlos H. Montenegro, (eds.), Models, algebras and proofs, no. 203 in Lecture Notes in Pure and Applied Mathematics Series, Marcel Dekker, New York and Basel, 1998, pp. 187–265.

    Google Scholar 

  24. DAVEY, B. A., and H. A. PRIESTLEY, Introduction to lattices and order, Cambridge University Press, Cambridge, 1990.

    Google Scholar 

  25. DELLUNDE, P., Contributions to the model theory of equality-free logic, Ph. D. Dissertation, University of Barcelona, 1996.

  26. DELLUNDE, P., and R. JANSANA, ‘Some characterization theorems for infinitary universal Horn logic without equality’, The Journal of Symbolic Logic, 61 (1996), 1242–1260.

    Article  Google Scholar 

  27. ELGUETA, R., Algebraic model theory for languages without equality, Ph. D. Dissertation, University of Barcelona, 1994.

  28. ELGUETA, R., ‘Characterizing classes denned without equality’, Studia Logica, 58 (1997), 357–394.

    Article  Google Scholar 

  29. ELGUETA, R., and R. JANSANA, ‘Definability of Leibniz equality’, Studia Logica, 63 (1999), 223–243.

    Article  Google Scholar 

  30. FONT, J. M., ‘On the Leibniz congruences’, in C. R,auszer, (ed.), Algebraic Methods in Logic and in Computer Science, vol. 28 of Banach Center Publications, Polish Academy of Sciences, Warszawa, 1993, pp. 17–36.

    Google Scholar 

  31. FONT, J. M., ‘Belnap's four-valued logic and De Morgan lattices’, Logic Journal of the IGPL, 5 (1997), 413–440.

    Google Scholar 

  32. FONT, J. M., F. GUZMAN, and V. VERDU, ‘Characterization of the reduced matrices for the (A, V)-fragment of classical logic’, Bulletin of the Section of Logic, 20 (1991), 124–128.

    Google Scholar 

  33. FONT, J. M., and R. JANSANA, A general algebraic semantics for sentential logics, vol. 7 of Lecture Notes in Logic, Springer-Verlag, 1996. 135 pp. Presently distributed by the Association for Symbolic Logic.

  34. FONT, J. M., and R. JANSANA, ‘Leibniz filters and the strong version of a protoal-gebraic logic’, Archive for Mathematical Logic, 40 (2001), 437–465.

    Article  Google Scholar 

  35. FONT, J. M., R. JANSANA, and D. PIGOZZI, ‘Fully adequate Gentzen systems and the deduction theorem’, Reports on Mathematical Logic, 35 (2001), 115–165.

    Google Scholar 

  36. FONT, J. M., R. JANSANA, and D. PlGOZZI, ‘A survey of abstract algebraic logic’, Studia Logica (Special Issue on Abstract Algebraic Logic. Part II), 74 (2003), 13–97.

    Google Scholar 

  37. FONT, J. M., and M. RlUS, ‘An abstract algebraic logic approach to tetravalent modal logics’, The Journal of Symbolic Logic, 65 (2000), 481–518.

    Article  Google Scholar 

  38. FONT, J. M., and G. RODRIGUEZ, ‘Note on algebraic models for relevance logic’, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, 36 (1990), 535–540.

    Google Scholar 

  39. FONT, J. M., and G. RODRIGUEZ, ‘Algebraic study of two deductive systems of relevance logic’, Notre Dame Journal of Formal Logic, 35 (1994), 369–397.

    Article  Google Scholar 

  40. FONT, J. M., and V. VERDU, ‘A first approach to abstract modal logics’, The Journal of Symbolic Logic, 54 (1989), 1042–1062.

    Article  Google Scholar 

  41. GRATZER, G., General lattice theory. Second edition, Birkhauser Verlag, Basel, 1998.

    Google Scholar 

  42. HAJEK, P., Metamathematics of fuzzy logic, vol. 4 of Trends in Logic - Studia Logica Library, Kluwer, Dordrecht, 1998.

    Google Scholar 

  43. HAJEK, P., L. GODO, and F. ESTEVA, ‘A complete many-valued logic with product-conjunction’, Archive for Mathematical Logic, 35 (1996), 191–208.

    Google Scholar 

  44. HERRMANN, B., ‘Algebraizability and Beth's theorem for equivalential logics’, Bulletin of the Section of Logic, 22 (1993), 85–88.

    Google Scholar 

  45. HERRMANN, B., Equivalential logics and definability of truth, Ph. D. Dissertation, Freie Universitat Berlin, 1993. 61 pp.

  46. HERRMANN, B., ‘Equivalential and algebraizable logics’, Studia Logica, 57 (1996), 419–436.

    Article  Google Scholar 

  47. HERRMANN, B., ‘Characterizing equivalential and algebraizable logics by the Leibniz operator’, Studia Logica, 58 (1997), 305–323.

    Article  Google Scholar 

  48. HODGES, W., Model theory, vol. 42 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1993.

    Google Scholar 

  49. KOHLER, P., and D. PIGOZZI, ‘Varieties with equationally definable principal congruences’, Algebra Universalis, 11 (1980), 213–219.

    Google Scholar 

  50. POGORZELSKI, W., ‘The deduction theorem for Lukasiewicz many-valued prepositional calculi’, Studia Logica, 15 (1964), 7–19.

    Article  Google Scholar 

  51. PORTE, J., ‘Quelques extensions du theoreme de deduction’, Revista de la Union Matemdtica Argentina, 20 (1960), 259–266.

    Google Scholar 

  52. PRUCNAL, T., and A. WRONSKI, ‘An algebraic characterization of the notion of structural completeness’, Bulletin of the Section of Logic, 3 (1974), 30–33.

    Google Scholar 

  53. RASIOWA, H., An algebraic approach to non-classical logics, vol. 78 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1974.

    Google Scholar 

  54. REBAGLIATO, J., and V. VERDU, ‘On the algebraization of some Gentzen systems’, Fundamenta Informaticae (Special Issue on Algebraic Logic and its Applications), 18 (1993), 319–338.

    Google Scholar 

  55. SMILEY, T. J., ‘The independence of connectives’, The Journal of Symbolic Logic, 27 (1962), 426–436.

    Article  Google Scholar 

  56. TOKARZ, M., ‘Deduction theorem for RM and its extensions’, Studia Logica, 38 (1979), 105–111.

    Article  Google Scholar 

  57. WOJCICKI, R., ‘Logical matrices strongly adequate for structural sentential calculi’, Bulletin de I'Academic Polonaise des Sciences. Classe III, XVII (1969), 333–335.

    Google Scholar 

  58. WOJCICKI, R., ‘Matrix approach in the methodology of sentential calculi’, Studia Logica, 32 (1973), 7–37.

    Article  Google Scholar 

  59. WOJCICKI, R., Theory of logical calculi. Basic theory of consequence operations, vol. 199 of Synthese Library, Reidel, Dordrecht, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Probability, Logic and Statistics, Faculty of Mathematics, University of Barcelona, Gran Via 585, E-08007, Barcelona, Spain

    Josep Maria Font

  2. Department of Logic, History and Philosophy of Science, Faculty of Philosophy, University of Barcelona, Baldiri Reixach, s/n, E-08028, Barcelona, Spain

    Ramon Jansana

  3. Department of Mathematics, Iowa State University, Ames, 50011, IA, U.S.A.

    Don Pigozzi

Authors
  1. Josep Maria Font
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ramon Jansana
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Don Pigozzi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Josep Maria Font.

Additional information

Dedicated to the memory of Willem Johannes Blok

Rights and permissions

Reprints and permissions

About this article

Cite this article

Font, J.M., Jansana, R. & Pigozzi, D. On the Closure Properties of the Class of Full G-models of a Deductive System. Stud Logica 83, 215–278 (2006). https://doi.org/10.1007/s11225-006-8304-6

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-006-8304-6

Keywords

Search

Navigation