Adillon, R. and Verdú, V. [1996] A Gentzen system equivalent to the BCK-logic , Bulletin of the Section of Logic , vol. 25, no. 2, pp. 73–79.Google Scholar

Anderson, A. R. and Belnap, N. D. [1975] Entailment. The logic of relevance and necessity , vol. I, Princeton University Press.

Anderson, A. R., Belnap, N. D., and Dunn, J. M. [1992] Entailment. The logic of relevance and necessity , vol. II, Princeton University Press.

Babyonyshev, S. [2003] Fully Fregean logics , Reports on Mathematical Logic , vol. 37, pp. 59–78.Google Scholar

Balbes, R. and Dwinger, P. [1974] Distributive lattices , University of Missouri Press, Columbia (Missouri).

Belardinelli, F., Jipsen, P., and Ono, H. [2004] Algebraic aspects of cut elimination , Studia Logica , vol. 77, pp. 209–240.Google Scholar

Belnap, N. D. [1977] A useful four-valued logic , Modern uses of multiple-valued logic (Dunn, J. M. and Epstein, G., editors), Reidel, Dordrecht-Boston, pp. 8–37.

Birkhoff, G. [1973] Lattice theory , 3rd. ed., Colloquium Publications, vol. XXV, American Mathematical Society, Providence, (1st. ed. 1940).

Blok, W. and Jónsson, B. [2006] Equivalence of consequence operations , Studia Logica (Special issue in memory of Willem Blok) , vol. 83, pp. 91–110.Google Scholar

Blok, W. J. and Köhler, P. [1983] Algebraic semantics for quasi-classical modal logics , The Journal of Symbolic Logic , vol. 48, pp. 941–964.Google Scholar

Blok, W. J. and Pigozzi, D. [1986] Protoalgebraic logics , Studia Logica , vol. 45, pp. 337–369.Google Scholar

Blok, W. J. and Pigozzi, D. [1988] Alfred Tarski's work on general metamathematics , The Journal of Symbolic Logic , vol. 53, pp. 36–50.Google Scholar

Blok, W. J. and Pigozzi, D. [1989a] Algebraizable logics , Memoirs of the American Mathematical Society, vol. 396, A.M.S., Providence, January.

Blok, W. J. and Pigozzi, D. [1989b] The Deduction Theorem in algebraic logic, Unpublished manuscript, partly subsumed in Blok and Pigozzi [200x].

Blok, W. J. and Pigozzi, D. [1991] Local deduction theorems in algebraic logic , Algebraic logic (Andréka, H., Monk, J. D., and Németi, I., editors), Colloquia Mathematica Societatis János Bolyai, vol. 54, North-Holland, Amsterdam, pp. 75–109.

Blok, W. J. and Pigozzi, D. [1992] Algebraic semantics for universal Horn logic without equality , Universal algebra and quasigroup theory (Romanowska, A. and Smith, J. D. H., editors), Heldermann, Berlin, pp. 1–56.

Blok, W. J. and Pigozzi, D. [200x] Abstract algebraic logic and the Deduction Theorem , The Bulletin of Symbolic Logic , To appear.Google Scholar

Bloom, S. L. [1977] A note on Ψ-consequences , Reports on Mathematical Logic , vol. 8, pp. 3–9.Google Scholar

Bloom, S. L. and Brown, D. J. [1973] Classical abstract logics , Dissertationes Mathematicae (Rozprawy Mat.) , vol. 102, pp. 43–51.Google Scholar

Bou, F. [2001] Implicación estricta y lógicas subintuicionistas , Master Thesis , University of Barcelona.

Bou, F., Esteva, F., Font, J. M., Gil, A., Godo, Ll., Torrens, A., and Verdú, V. [2009] Logics preserving degrees of truth from varieties of residuated lattices , Journal of Logic and Computation , To appear.Google Scholar

Bou, F., Font, J. M., and García Lapresta, J. L. [2004] On weakening the deduction theorem and strengthening modus ponens , Mathematical Logic Quarterly , vol. 50, pp. 303–324.Google Scholar

Brown, D. J. [1969] Abstract logics , Ph. D. Thesis , Stevens Institute of Technology.

Brown, D. J. and Suszko, R. [1973] Abstract logics , Dissertationes Mathematicae (Rozprawy Mat.) , vol. 102, pp. 9–42.Google Scholar

Burris, S. and Sankappanavar, H. P. [1981] A course in universal algebra , Springer-Verlag, New York.

Casanovas, E., Dellunde, P., and Jansana, R. [1996] On elementary equivalence for equality-free logic , Notre Dame Journal of Formal Logic , vol. 37, no. 3, pp. 506–522.Google Scholar

Celani, S. and Jansana, R. [2001] A closer look at some subintuitionistic logics , Notre Dame Journal of Formal Logic , vol. 42, pp. 225–255.Google Scholar

Chellas, B. F. [1980] Modal logic: An introduction , Cambridge University Press, Cambridge, Cambridge.

Cignoli, R. [1991] Quantifiers on distributive lattices , Discrete Mathematics , vol. 96, pp. 183–197.Google Scholar

Czelakowski, J. [1980] Reduced products of logical matrices , Studia Logica , vol. 39, pp. 19–43.Google Scholar

Czelakowski, J. [1981] Equivalential logics, I, II , Studia Logica , vol. 40, pp. 227–236 and 355–372.Google Scholar

Czelakowski, J. [1984] Remarks on finitely based logics , Models and Sets (Müller, G. H. and Richter, M. M., editors), Lecture Notes in Mathematics, vol. 1103, Springer Verlag, Berlin, pp. 147–168.

Czelakowski, J. [1985] Algebraic aspects of deduction theorems , Studia Logica , vol. 44, pp. 369–387.Google Scholar

Czelakowski, J. [1986] Local deductions theorems , Studia Logica , vol. 45, pp. 377–391.Google Scholar

Czelakowski, J. [1992] Consequence operations: Foundational studies , Reports of the Research Project “Theories, Models, Cognitive Schemata” , Institute of Philosophy and Sociology, Polish Academy of Sciences, Warszawa.

Czelakowski, J. [2001a] Protoalgebraic logics , Trends in Logic, Studia Logica Library, vol. 10, Kluwer Academic Publishers, Dordrecht.

Czelakowski, J. [2001b] Protoalgebraic logics , Trends in Logic - Studia Logica Library, vol. 10, Kluwer Academic Publishers, Dordrecht.

Czelakowski, J. and Dziobiak, W. [1991] A deduction theorem schema for deductive systems of propositional logics , Studia Logica, Special Issue on Algebraic Logic , vol. 50, pp. 385–390.Google Scholar

Czelakowski, J. and Jansana, R. [2000] Weakly algebraizable logics , The Journal of Symbolic Logic , vol. 65, no. 2, pp. 641–668.Google Scholar

Czelakowski, J. and Malinowski, G. [1985] Key notions of Tarski's methodology of deductive systems , Studia Logica , vol. 44, pp. 321–351.Google Scholar

Czelakowski, J. and Pigozzi, D. [2004a] Fregean logics , Annals of Pure and Applied Logic , vol. 127, pp. 17–76.Google Scholar

Czelakowski, J. and Pigozzi, D. [2004b] Fregean logics with the multiterm deduction theorem and their algebraization , Studia Logica , vol. 78, pp. 171–212.Google Scholar

Dellunde, P. [1996] Contributions to the model theory of equality-free logic , Ph. D. Thesis , University of Barcelona.

Dellunde, P. [1999] Equality-free logic: The method of diagrams and preservation theorems , Logic Journal of the IGPL , vol. 7, pp. 717–732.Google Scholar

Dellunde, P. [2000a] On definability of the equality in classes of algebras with an equivalence relation , Studia Logica , vol. 64, pp. 345–353.Google Scholar

Dellunde, P. [2000b] A preservation theorem for equality-free Horn sentences , Theoria (San Sebastián) , vol. 39, pp. 517–530.Google Scholar

Dellunde, P. [2003] Equality-free saturated models , Reports on Mathematical Logic , vol. 37, pp. 3–22.Google Scholar

Dellunde, P. and Jansana, R. [1994] On structural equivalence of theories, Manuscript.

Dellunde, P. and Jansana, R. [1996] Some characterization theorems for infinitary universal Horn logic without equality , The Journal of Symbolic Logic , vol. 61, no. 4, pp. 1242–1260.Google Scholar

Diego, A. [1965] Sobre álgebras de Hilbert , Notas de Lógica Matemática, vol. 12, Universidad Nacional del Sur, Bahía Blanca (Argentina).

Diego, A. [1966] Sur les algèbres de Hilbert , Gauthier-Villars, Paris.

Došen, K. [1986] Modal translations and intuitionistic double negation , Logique et Analyse , vol. 29, pp. 81–94.Google Scholar

Došen, K. and Schroeder-Heister, P. [1993] Substructural logics , Studies in Logic and Computation, vol. 2, Oxford University Press.

Dunn, J. M. [1976] Intuitive semantics for first-degree entailments and ‘coupled trees’ , Philosophical Studies , vol. 29, pp. 149–168.Google Scholar

Dunn, J. M. and Restall, G. [2002] Relevance logic and entailment , Handbook of philosophical logic, second edition (Gabbay, D. and Guenthner, F., editors), vol. 6, Kluwer, Dordrecht, pp. 1–128.

Dyrda, K. and Prucnal, T. [1980] On finitely based consequence determined by a distributive lattice , Bulletin of the Section of Logic , vol. 9, pp. 60–66.Google Scholar

Elgueta, R. [1994] Algebraic model theory for languages without equality , Ph. D. Thesis , University of Barcelona.

Elgueta, R. [1997] Characterizing classes defined without equality , Studia Logica , vol. 58, no. 3, pp. 357–394.Google Scholar

Elgueta, R. [1998] Subdirect representation theory for classes without equality , Algebra Universalis , vol. 40, pp. 201–246.Google Scholar

Elgueta, R. and Jansana, R. [1999] Definability of Leibniz equality , Studia Logica , vol. 63, pp. 223–243.Google Scholar

Figallo, A. [1992] On the congruences in four-valued modal algebras , Portugaliae Mathematica , vol. 49, pp. 249–261.Google Scholar

Font, J. M. [1980] Introducció d'interiors d'ordre en lògiques abstractes , Publicacions de la Secció de Matemàtiques, Universitat Autònoma de Barcelona , vol. 20, pp. 79–82.Google Scholar

Font, J. M. [1987] On some congruence lattices of a topological Heyting lattice , Contributions to general algebra (Czermak, J. et al., editors), vol. 5, Teubner, Stuttgart, pp. 129–137.

Font, J. M. [1993] On the Leibniz congruences , Algebraic methods in logic and in computer science (Rauszer, C., editor), Banach Center Publications, vol. 28, Polish Academy of Sciences, Warszawa, pp. 17–36.

Font, J. M. [1997] Belnap's four-valued logic and De Morgan lattices , Logic Journal of the I.G.P.L. , vol. 5, no. 3, pp. 413–440.Google Scholar

Font, J. M. [2003a] An abstract algebraic logic view of some multiple-valued logics , Beyond two: Theory and applications of multiple-valued logic (Fitting, M. and Orlowska, E., editors), Studies in Fuzziness and Soft Computing, vol. 114, Physica-Verlag, Heidelberg, pp. 25–58.

Font, J. M. [2003b] Generalized matrices in abstract algebraic logic , Trends in logic. 50 years of studia logica (Hendriks, V. F. and Malinowski, J., editors), Trends in Logic - Studia Logica Library, vol. 21, Kluwer, Dordrecht, pp. 57–86.

Font, J. M. [2006] Beyond Rasiowa's algebraic approach to non-classical logics , Studia Logica , vol. 82, pp. 172–209.Google Scholar

Font, J. M., Gil, A., Torrens, A., and Verdú, V. [2006] On the infinite-valued Łukasiewicz logic that preserves degrees of truth , Archive for Mathematical Logic , vol. 45, pp. 839–868.Google Scholar

Font, J. M., Guzmán, F., and Verdú, V. [1991] Characterization of the reduced matrices for the {∧, ∨}-fragment of classical logic , Bulletin of the Section of Logic , vol. 20, pp. 124–128.Google Scholar

Font, J. M. and Jansana, R. [1994] On the sentential logics associated with strongly nice and semi-nice general logics , Bulletin of the I.G.P.L. , vol. 2, pp. 55–76.Google Scholar

Font, J. M. and Jansana, R. [1995] Full models for sentential logics , Bulletin of the Section of Logic , vol. 24, no. 3, pp. 123–131.Google Scholar

Font, J. M. and Jansana, R. [2001] Leibniz filters and the strong version of a protoalgebraic logic , Archive for Mathematical Logic , vol. 40, pp. 437–465.Google Scholar

Font, J. M., R. Jansana, and Pigozzi, D. [2001] Fully adequate Gentzen systems and the deduction theorem , Reports on Mathematical Logic , vol. 35, pp. 115–165.Google Scholar

Font, J. M., Jansana, R., and Pigozzi, D. [2003] A survey of abstract algebraic logic , Studia Logica (Special issue on Abstract Algebraic Logic, Part II) , vol. 74, pp. 13–97.Google Scholar

Font, J. M., R. Jansana, and Pigozzi, D. [2006] On the closure properties of the class of full g-models of a deductive system , Studia Logica (Special issue in memory of Willem Blok) , vol. 83, pp. 215–278.Google Scholar

Font, J. M. and Rius, M. [1990] A four-valued modal logic arising from Monteiro's last algebras , Proceedings of the 20th international symposium on multiple-valued logic (Charlotte), The IEEE Computer Society Press, pp. 85–92.

Font, J. M. and Rius, M. [2000] An abstract algebraic logic approach to tetravalent modal logics , The Journal of Symbolic Logic , vol. 65, no. 2, pp. 481–518.Google Scholar

Font, J. M. and Rodríguez, G. [1990] Note on algebraic models for relevance logic , Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 36, pp. 535–540.Google Scholar

Font, J. M. and Rius, M. [1994] Algebraic study of two deductive systems of relevance logic , Notre Dame Journal of Formal Logic , vol. 35, no. 3, pp. 369–397.Google Scholar

Font, J. M. and Verdú, V. [1979] Lògiques abstractes, operadors interior, i lògiques modals S4 , Revista de la Universidad de Santander , vol. II, no. 2, pp. 867–869 and 1003–1015.Google Scholar

Font, J. M. and Verdú, V. [1988] Abstract characterization of a four-valued logic , Proceedings of the 18th international symposium on multiple-valued logic (Palma de Mallorca), The IEEE Computer Society Press, pp. 389–396.

Font, J. M. and Verdú, V. [1989a] Completeness theorems for a four-valued logic related to De Morgan lattices , Faculty of Mathematics Preprint Series , University of Barcelona, March, 10pp.

Font, J. M. and Verdú, V. [1989b] A first approach to abstract modal logics , The Journal of Symbolic Logic , vol. 54, pp. 1042–1062.Google Scholar

Font, J. M. and Verdú, V. [1990] Two levels of modality: an algebraic approach , Logic counts (Żarnecka-Biały, E., editor), Reidel, Dordrecht, pp. 53–62.

Font, J. M. and Verdú, V. [1991] Algebraic logic for classical conjunction and disjunction , Studia Logica, Special Issue on Algebraic Logic , vol. 50, pp. 391–419.Google Scholar

Gabbay, D. [1994] What is a logical system? , Studies in Logic and Computation, vol. 4, Oxford University Press.

Galatos, N., Jipsen, P., Kowalski, T., and Ono, H. [2007] Residuated lattices: an algebraic glimpse at substructural logics , Studies in Logic and the Foundations of Mathematics, vol. 151, Elsevier, Amsterdam.

García Lapresta, J. L. [1988a] El Principio de la Deducción con dos o menos premisas: Estudio algebraico, Actas de las XIII Jornadas Hispano-Lusas de Matemáticas (Valladolid), To appear.

García Lapresta, J. L. [1988b] Restricciones en la Propiedad de la Deducción: Análisis preliminar , Actes del VII Congrés Catalàde Lògica , Barcelona, pp. 47–50.

García Lapresta, J. L. [1991] Lógicas finitamente deductivas. Restricciones de cardinalidad en la Propiedad de la Deducción , Ph. D. Thesis , University of Barcelona.

Gil, A. J. [1996] Sistemes de Gentzen multidimensionals i lògiques finitament valorades. Teoria i Aplicacions , Ph. D. Thesis , University of Barcelona.

Gil, A. J., Torrens, A., and Verdú, V. [1997] On Gentzen systems associated with the finite linear MV-algebras , Journal of Logic and Computation , vol. 7, no. 4, pp. 473–500.Google Scholar

Grzegorczyk, A. [1972] An approach to logical calculi , Studia Logica , vol. 30, pp. 33–43.Google Scholar

Harrop, R. [1965] Some structure results for propositional calculi , The Journal of Symbolic Logic , vol. 30, pp. 271–292.Google Scholar

Harrop, R. [1968] Some forms of models of propositional calculi , Contributions to mathematical logic (Schmidt, H. A., Schütte, K., and Thiele, H. J., editors), North-Holland, pp. 163–174.

Herrmann, B. [1993a] Algebraizability and Beth's Theorem for equivalential logics , Bulletin of the Section of Logic , vol. 22, pp. 85–88.Google Scholar

Herrmann, B. [1993b] Equivalential logics and definability of truth , Ph. D. Thesis , Freie Universität Berlin, 61 pp.

Herrmann, B. and Wolter, F. [1994] Representations of algebraic lattices , Algebra Universalis , vol. 31, pp. 612–613.Google Scholar

Jansana, R. [1991] Los fragmentos □ de la lógica modal K , Actas del VII Congreso de Lenguajes Naturales y Lenguajes Formales (Vic, Barcelona) (Martín-Vide, C., editor), pp. 409–413.

Jansana, R. [1992] La lógica de la demostrabilidad y una semántica de lógicas abstractas, Manuscript.

Jansana, R. [1995] Abstract modal logics , Studia Logica , vol. 55, no. 2, pp. 273–299.Google Scholar

Jansana, R. [2002] Full models for positive modal logic , Mathematical Logic Quarterly , vol. 48, pp. 427–445.Google Scholar

Jansana, R. [2003] Leibniz filters revisited , Studia Logica , vol. 75, pp. 305–317.Google Scholar

Jansana, R. [2005] Selfextensional logics with implication , Logica universalis (Béziau, J.-Y., editor), Birkhäuser Verlag, Basel, pp. 65–88.

Jansana, R. [2006] Selfextensional logics with a conjunction , Studia Logica , vol. 84, pp. 63–104.Google Scholar

Keisler, H. J. and Miller, A. [2001] Categoricity without equality , Fundamenta Mathematicae , vol. 170, pp. 87–106.Google Scholar

Knuth, D. E., Larrabee, T., and Roberts, P. M. [1989] Mathematical writing , MAA Notes Series, vol. 14, The Mathematical Association of America.

Kracht, M. [2007] Modal consequence relations , Handbook of modal logic (Blackburn, P., van Benthem, J., and Wolter, F., editors), Studies in Logic and Practical Reasoning, vol. 3, Elsevier, Amsterdam, pp. 491–545.

Lemmon, E J. [1966] Algebraic semantics for modal logics (I and II) , The Journal of Symbolic Logic , vol. 31, pp. 46–65 and 191–218.Google Scholar

Lewin, R. A., Mikenberg, I. F., and Schwarze, M. G. [1990] Algebraization of paraconsistent logic P 1, Journal of Non-Classical Logic , vol. 7, pp. 79–88.Google Scholar

Lewin, R. A., Mikenberg, I. F., and Schwarze, M. G. [1991] C 1 is not algebraizable , Notre Dame Journal of Formal Logic , vol. 32, pp. 609–611.Google Scholar

Lewin, R. A., Mikenberg, I. F., and Schwarze, M. G. [1994] P 1 algebras , Studia Logica , vol. 53, pp. 21–28.Google Scholar

Łosś, J. [1949] O matrycach logicznych , Ser. B, vol. 19, Prace Wrocławskiego Towarzystwa Naukowege.

Łoś, J. and Suszko, R. [1958] Remarks on sentential logics , Indagationes Mathematicae , vol. 20, pp. 177–183.Google Scholar

Loureiro, I. [1982] Axiomatisation et propriétés des algèbres modales tétravalentes , Comptes Rendus de l'Académie des Sciences de Paris, Série I, Mathématique , vol. 295, pp. 555–557.Google Scholar

Loureiro, I. [1985] Principal congruences of tetravalent modal algebras , Notre Dame Journal of Formal Logic , vol. 26, pp. 76–80.Google Scholar

Makinson, D. [1977] Review 54#65 , Mathematical Reviews , vol. 54.Google Scholar

Pigozzi, D. [1991] Fregean algebraic logic , Algebraic logic (Andréka, H., Monk, J. D., and Németi, I., editors), Colloquia Mathematica Societatis János Bolyai, vol. 54, North-Holland, Amsterdam, pp. 473–502.

Pla, J. and Verdú, V. [1980] Àlgebres quasi-Hilbertianes , Publicacions de la Seccióde Matemàtiques, Universitat Autònoma de Barcelona , vol. 20, pp. 97–99.Google Scholar

Pogorzelski, W. A. and Słupecki, J. [1960a] Basic properties of deductive systems based on nonclassical logics, I , Studia Logica , vol. 9, pp. 163–176.Google Scholar

Pogorzelski, W. A. and Słupecki, J. [1960b] Basic properties of deductive systems based on nonclassical logics, II , Studia Logica , vol. 10, pp. 77–95.Google Scholar

Pogorzelski, W. A. and Wojtylak, P. [1982] Elements of the theory of completeness in propositional logic , The Silesian University, Katowice.

Porƙbska, M. and Wroński, A. [1975] A characterization of fragments of the intuitionistic propositional logic , Reports on Mathematical Logic , vol. 4, pp. 39–42.Google Scholar

Priest, G. [1979] The logic of paradox , Journal of Philosophical Logic , vol. 8, pp. 219–241.Google Scholar

Pynko, A. [1995] On Priest's logic of paradox , Journal of Applied Non-Classical Logics , vol. 5, pp. 219–225.Google Scholar

Pynko, A. [1999] Definitional equivalence and algebraizability of generalized logical systems , Annals of Pure and Applied Logic , vol. 98, pp. 1–68.Google Scholar

Pynko, A. P. [1995a] Algebraic study of Sette's maximal paraconsistent logic , Studia Logica , vol. 54, pp. 89–128.Google Scholar

Pynko, A. P. [1995b] Characterizing Belnap's logic via De Morgan's laws , Mathematical Logic Quarterly , vol. 41, no. 4, pp. 442–454.Google Scholar

Raftery, J. [2006] Correspondences between Gentzen and Hilbert systems , The Journal of Symbolic Logic , vol. 71, pp. 903–957.Google Scholar

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

Rasiowa, H. and Sikorski, R. [1953] Algebraic treatment of the notion of satisfability , Fundamenta Mathematicae , vol. 40, pp. 62–95.Google Scholar

Rautenberg, W. [1981] 2-element matrices , Studia Logica , vol. 40, pp. 315–353.Google Scholar

Rautenberg, W. [1991] Axiomatizing logics closely related to varieties , Studia Logica, Special Issue on Algebraic Logic , vol. 50, pp. 607–622.Google Scholar

Rautenberg, W. [1993] On reduced matrices , Studia Logica , vol. 52, pp. 63–72.Google Scholar

Rebagliato, J. and Verdú, V. [1993] On the algebraization of some Gentzen systems , Fundamenta Informaticae, Special Issue on Algebraic Logic and its Applications , vol. 18, pp. 319–338.Google Scholar

Rebagliato, J. and Verdú, V. [1995] Algebraizable Gentzen systems and the Deduction Theorem for Gentzen systems , Mathematics Preprint Series 175 , University of Barcelona, June.

Rius, M. [1992] Lògiques modals tetravalents , Ph. D. Thesis , University of Barcelona.

Rodríguez, A. J., Torrens, A., and Verdú, V. [1990] Łukasiewicz logic and Wajsberg algebras , Bulletin of the Section of Logic , vol. 19, pp. 51–55.Google Scholar

Rodríguez, G. [1990] Àlgebres i lògiques abstractes associades al càlcul R de la rellevància , Ph. D. Thesis , University of Barcelona.

Sette, A. M. [1973] On the propositional calculus P 1, Mathematica Japonica , vol. 16, pp. 173–180.Google Scholar

Shoesmith, D. J. and Smiley, T. J. [1978] Multiple-conclusion logic , Cambridge University Press, Cambridge.

Smiley, T. J. [1962] The independence of connectives , The Journal of Symbolic Logic , vol. 27, pp. 426–436.Google Scholar

Tarski, A. [1930] Über einige fundamentale Begriffe der Metamathematik , Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Cl. III , vol. 23, pp. 22–29.Google Scholar

Verdú, V. [1978] Contribucióa l'estudi de certs tipus de lògiques abstractes , Ph. D. Thesis , University of Barcelona.

Tarski, A. [1979] Lògiques distributives i Booleanes , Stochastica , vol. 3, pp. 97–108.Google Scholar

Tarski, A. [1985] Some algebraic structures determined by closure operators , Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 31, pp. 275–278.Google Scholar

Tarski, A. [1986] On some relations between closure operators and congruences, Manuscript.

Tarski, A. [1987] Logics projectively generated from [M] = (F 4, [{1}]) by a set of homomorphisms , Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 33, pp. 235–241.Google Scholar

Wójcicki, R. [1969] Logical matrices strongly adequate for structural sentential calculi , Bulletin de l'Académie Polonaise des Sciences, Classe III , vol. XVII, pp. 333–335.Google Scholar

Wójcicki, R. [1970] Some remarks on the consequence operation in sentential logics , Fundamenta Mathematicae , vol. 68, pp. 269–279.Google Scholar

Wójcicki, R. [1973] Matrix approach in the methodology of sentential calculi , Studia Logica , vol. 32, pp. 7–37.Google Scholar

Wójcicki, R. [1984] Lectures on propositional calculi , Ossolineum, Wroclaw.

Wójcicki, R. [1988] Theory of logical calculi. Basic theory of consequence operations , Synthese Library, vol. 199, Reidel, Dordrecht.

Zeman, J. J. [1973] Modal logic. The Lewis-modal systems , Oxford University Press.