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.
Similar content being viewed by others
References
ADILLON, R., and V. VERDU, ‘On product logic’, Soft Computing, 2 (1998), 141–146.
BlRKHOFF, G., Lattice Theory, vol. XXV of Colloquium Publications, 3rd. edn., American Mathematical Society, Providence, 1973. (1st. ed. 1940).
BLOK, W., and D. PIGOZZI, ‘Protoalgebraic logics’, Studia Logica, 45 (1986), 337–369.
BLOK, W., and D. PlGOZZI, Algebraizable logics, vol. 396 of Mem. Amer. Math. Soc., A.M.S., Providence, 1989.
BLOK, W., and D. PlGOZZI, ‘The Deduction Theorem in Algebraic Logic’, 1989. Unpublished manuscript, partly subsumed in [8].
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.
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.
BLOK, W., and D. PlGOZZI, ‘Abstract algebraic logic and the deduction theorem’, Bulletin of Symbolic Logic, (200x). To appear.
BLOOM, S. L., ‘Some theorems on structural consequence operations’, Studia Logica, 34 (1975), 1–9.
BROWN, D. J., and R. SUSZKO, ‘Abstract logics’, Dissertationes Math. (Rozprawy Mat.), 102 (1973), 9–42.
CASANOVAS, E., P. DELLUNDE, and R. JANSANA, ‘On elementary equivalence for equality-free logic’, Notre Dame Journal of Formal Logic, 37 (1996), 506–522.
CZELAKOWSKI, J., ‘R.educed products of logical matrices’, Studia Logica, 39 (1980), 19–43.
CZELAKOWSKI, J., ‘Equivalential logics, I, IP, Studia Logica, 40 (1981), 227–236 and 355–372.
CZELAKOWSKI, J., ‘Filter distributive logics’, Studia Logica, 43 (1984), 353–377.
CZELAKOWSKI, J., ‘Algebraic aspects of deduction theorems’, Studia Logica, 44 (1985), 369–387.
CZELAKOWSKI, J., ‘Local deductions theorems’, Studia Logica, 45 (1986), 377–391.
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.
CZELAKOWSKI, J., Protoalgebraic logics, vol. 10 of Trends in Logic - Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 2001.
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.
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.
CZELAKOWSKI, J., and R. ELGUETA, ‘Local characterization theorems for some classes of structures’, Ada Scientiarum Mathematicarum (Szeged), 65 (1999), 19–32.
CZELAKOWSKI, J., and R. JANSANA, ‘Weakly algebraizable logics’, The Journal of Symbolic Logic, 65 (2000), 641–668.
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.
DAVEY, B. A., and H. A. PRIESTLEY, Introduction to lattices and order, Cambridge University Press, Cambridge, 1990.
DELLUNDE, P., Contributions to the model theory of equality-free logic, Ph. D. Dissertation, University of Barcelona, 1996.
DELLUNDE, P., and R. JANSANA, ‘Some characterization theorems for infinitary universal Horn logic without equality’, The Journal of Symbolic Logic, 61 (1996), 1242–1260.
ELGUETA, R., Algebraic model theory for languages without equality, Ph. D. Dissertation, University of Barcelona, 1994.
ELGUETA, R., ‘Characterizing classes denned without equality’, Studia Logica, 58 (1997), 357–394.
ELGUETA, R., and R. JANSANA, ‘Definability of Leibniz equality’, Studia Logica, 63 (1999), 223–243.
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.
FONT, J. M., ‘Belnap's four-valued logic and De Morgan lattices’, Logic Journal of the IGPL, 5 (1997), 413–440.
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.
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.
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.
FONT, J. M., R. JANSANA, and D. PIGOZZI, ‘Fully adequate Gentzen systems and the deduction theorem’, Reports on Mathematical Logic, 35 (2001), 115–165.
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.
FONT, J. M., and M. RlUS, ‘An abstract algebraic logic approach to tetravalent modal logics’, The Journal of Symbolic Logic, 65 (2000), 481–518.
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.
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.
FONT, J. M., and V. VERDU, ‘A first approach to abstract modal logics’, The Journal of Symbolic Logic, 54 (1989), 1042–1062.
GRATZER, G., General lattice theory. Second edition, Birkhauser Verlag, Basel, 1998.
HAJEK, P., Metamathematics of fuzzy logic, vol. 4 of Trends in Logic - Studia Logica Library, Kluwer, Dordrecht, 1998.
HAJEK, P., L. GODO, and F. ESTEVA, ‘A complete many-valued logic with product-conjunction’, Archive for Mathematical Logic, 35 (1996), 191–208.
HERRMANN, B., ‘Algebraizability and Beth's theorem for equivalential logics’, Bulletin of the Section of Logic, 22 (1993), 85–88.
HERRMANN, B., Equivalential logics and definability of truth, Ph. D. Dissertation, Freie Universitat Berlin, 1993. 61 pp.
HERRMANN, B., ‘Equivalential and algebraizable logics’, Studia Logica, 57 (1996), 419–436.
HERRMANN, B., ‘Characterizing equivalential and algebraizable logics by the Leibniz operator’, Studia Logica, 58 (1997), 305–323.
HODGES, W., Model theory, vol. 42 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1993.
KOHLER, P., and D. PIGOZZI, ‘Varieties with equationally definable principal congruences’, Algebra Universalis, 11 (1980), 213–219.
POGORZELSKI, W., ‘The deduction theorem for Lukasiewicz many-valued prepositional calculi’, Studia Logica, 15 (1964), 7–19.
PORTE, J., ‘Quelques extensions du theoreme de deduction’, Revista de la Union Matemdtica Argentina, 20 (1960), 259–266.
PRUCNAL, T., and A. WRONSKI, ‘An algebraic characterization of the notion of structural completeness’, Bulletin of the Section of Logic, 3 (1974), 30–33.
RASIOWA, H., An algebraic approach to non-classical logics, vol. 78 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1974.
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.
SMILEY, T. J., ‘The independence of connectives’, The Journal of Symbolic Logic, 27 (1962), 426–436.
TOKARZ, M., ‘Deduction theorem for RM and its extensions’, Studia Logica, 38 (1979), 105–111.
WOJCICKI, R., ‘Logical matrices strongly adequate for structural sentential calculi’, Bulletin de I'Academic Polonaise des Sciences. Classe III, XVII (1969), 333–335.
WOJCICKI, R., ‘Matrix approach in the methodology of sentential calculi’, Studia Logica, 32 (1973), 7–37.
WOJCICKI, R., Theory of logical calculi. Basic theory of consequence operations, vol. 199 of Synthese Library, Reidel, Dordrecht, 1988.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Willem Johannes Blok
Rights 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
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s11225-006-8304-6