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.
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.
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.
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.
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.
Blok, W. J. and Pigozzi, D. [1986]
Protoalgebraic logics
,
Studia Logica
, vol. 45, pp. 337–369.
Blok, W. J. and Pigozzi, D. [1988]
Alfred Tarski's work on general metamathematics
,
The Journal of Symbolic Logic
, vol. 53, pp. 36–50.
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.
Bloom, S. L. [1977]
A note on Ψ-consequences
,
Reports on Mathematical Logic
, vol. 8, pp. 3–9.
Bloom, S. L. and Brown, D. J. [1973]
Classical abstract logics
,
Dissertationes Mathematicae (Rozprawy Mat.)
, vol. 102, pp. 43–51.
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.
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.
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.
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.
Celani, S. and Jansana, R. [2001]
A closer look at some subintuitionistic logics
,
Notre Dame Journal of Formal Logic
, vol. 42, pp. 225–255.
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.
Czelakowski, J. [1980]
Reduced products of logical matrices
,
Studia Logica
, vol. 39, pp. 19–43.
Czelakowski, J. [1981]
Equivalential logics, I, II
,
Studia Logica
, vol. 40, pp. 227–236 and 355–372.
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.
Czelakowski, J. [1986]
Local deductions theorems
,
Studia Logica
, vol. 45, pp. 377–391.
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.
Czelakowski, J. and Jansana, R. [2000]
Weakly algebraizable logics
,
The Journal of Symbolic Logic
, vol. 65, no. 2, pp. 641–668.
Czelakowski, J. and Malinowski, G. [1985]
Key notions of Tarski's methodology of deductive systems
,
Studia Logica
, vol. 44, pp. 321–351.
Czelakowski, J. and Pigozzi, D. [2004a]
Fregean logics
,
Annals of Pure and Applied Logic
, vol. 127, pp. 17–76.
Czelakowski, J. and Pigozzi, D. [2004b]
Fregean logics with the multiterm deduction theorem and their algebraization
,
Studia Logica
, vol. 78, pp. 171–212.
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.
Dellunde, P. [2000a]
On definability of the equality in classes of algebras with an equivalence relation
,
Studia Logica
, vol. 64, pp. 345–353.
Dellunde, P. [2000b]
A preservation theorem for equality-free Horn sentences
,
Theoria (San Sebastián)
, vol. 39, pp. 517–530.
Dellunde, P. [2003]
Equality-free saturated models
,
Reports on Mathematical Logic
, vol. 37, pp. 3–22.
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.
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.
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.
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.
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.
Elgueta, R. [1998]
Subdirect representation theory for classes without equality
,
Algebra Universalis
, vol. 40, pp. 201–246.
Elgueta, R. and Jansana, R. [1999]
Definability of Leibniz equality
,
Studia Logica
, vol. 63, pp. 223–243.
Figallo, A. [1992]
On the congruences in four-valued modal algebras
,
Portugaliae Mathematica
, vol. 49, pp. 249–261.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Grzegorczyk, A. [1972]
An approach to logical calculi
,
Studia Logica
, vol. 30, pp. 33–43.
Harrop, R. [1965]
Some structure results for propositional calculi
,
The Journal of Symbolic Logic
, vol. 30, pp. 271–292.
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.
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.
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.
Jansana, R. [2002]
Full models for positive modal logic
,
Mathematical Logic Quarterly
, vol. 48, pp. 427–445.
Jansana, R. [2003]
Leibniz filters revisited
,
Studia Logica
, vol. 75, pp. 305–317.
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.
Keisler, H. J. and Miller, A. [2001]
Categoricity without equality
,
Fundamenta Mathematicae
, vol. 170, pp. 87–106.
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.
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.
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.
Lewin, R. A., Mikenberg, I. F., and Schwarze, M. G. [1994]
P 1 algebras
,
Studia Logica
, vol. 53, pp. 21–28.
Ł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.
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.
Loureiro, I. [1985]
Principal congruences of tetravalent modal algebras
,
Notre Dame Journal of Formal Logic
, vol. 26, pp. 76–80.
Makinson, D. [1977]
Review 54#65
,
Mathematical Reviews
, vol. 54.
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.
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.
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.
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.
Priest, G. [1979]
The logic of paradox
,
Journal of Philosophical Logic
, vol. 8, pp. 219–241.
Pynko, A. [1995]
On Priest's logic of paradox
,
Journal of Applied Non-Classical Logics
, vol. 5, pp. 219–225.
Pynko, A. [1999]
Definitional equivalence and algebraizability of generalized logical systems
,
Annals of Pure and Applied Logic
, vol. 98, pp. 1–68.
Pynko, A. P. [1995a]
Algebraic study of Sette's maximal paraconsistent logic
,
Studia Logica
, vol. 54, pp. 89–128.
Pynko, A. P. [1995b]
Characterizing Belnap's logic via De Morgan's laws
,
Mathematical Logic Quarterly
, vol. 41, no. 4, pp. 442–454.
Raftery, J. [2006]
Correspondences between Gentzen and Hilbert systems
,
The Journal of Symbolic Logic
, vol. 71, pp. 903–957.
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.
Rautenberg, W. [1981]
2-element matrices
,
Studia Logica
, vol. 40, pp. 315–353.
Rautenberg, W. [1991]
Axiomatizing logics closely related to varieties
,
Studia Logica, Special Issue on Algebraic Logic
, vol. 50, pp. 607–622.
Rautenberg, W. [1993]
On reduced matrices
,
Studia Logica
, vol. 52, pp. 63–72.
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.
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.
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.
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.
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.
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.
Tarski, A. [1985]
Some algebraic structures determined by closure operators
,
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
, vol. 31, pp. 275–278.
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.
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.
Wójcicki, R. [1970]
Some remarks on the consequence operation in sentential logics
,
Fundamenta Mathematicae
, vol. 68, pp. 269–279.
Wójcicki, R. [1973]
Matrix approach in the methodology of sentential calculi
,
Studia Logica
, vol. 32, pp. 7–37.
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.
