PUBLICATIONS
 

BOOKS, EDITED VOLUMES, CD-ROM	ARTICLES

[09b]	A general algebraic semantics for sentential logics. Second, revised edition (with R. Jansana) vol. 7 of Lecture Notes in Logic, Association for Symbolic Logic, 2009.   Freely available in electronic format at Project Euclid.
[06e]	Special issue in memory of Willem Blok (edited by J.M. Font and A. Wronski) Reports on Mathematical Logic volume 41 (2006). 194 pp. Authors: A.J. Gil and J. Rebagliato; G. Voutsadakis; R. Jansana and A. Palmigiano; J.G. Raftery; J. Czelakowski and W. Dziobiak; Y. Katoh, T. Kowalksi and M. Ueda. With a foreword by the editors.
[03d]	Special issue on abstract algebraic logic, part II (edited by J.M. Font, R. Jansana and D. Pigozzi) Studia Logica volume 74 numbers 1/2 (June/July 2003). 342 pp. Authors: J.M. Font, R. Jansana and D. Pigozzi; G. Barbour and J. Raftery; W. Blok and J. Rebagliato; J. Czelakowksi; R. Elgueta; K. Palasinska; G. Voutsadakis. With a foreword by the editors.
[00d]	3rd European Congress of Mathematics Proceedings CD-ROM (edited by C. Casacuberta, J.M. Font and S. Zarzuela) The European Mathematical Society (EMS). Barcelona, 2000.
[00c]	Special issue on abstract algebraic logic, part I (edited by J.M. Font, R. Jansana and D. Pigozzi) Studia Logica volume 65 number 1 (June 2000). 153 pp. Authors: R. J. Adillon, F.M. García Olmedo, A. J. Gil, E. Hoogland, B. Klunder, R. Lewin, I. Mikenberg, J. Rebagliato, A.J. Rodríguez, M.G. Schwarze, V. Verdú. With a foreword by the editors.
[97b]	Workshop on abstract algebraic logic (Font, J.M., Jansana, R. and Pigozzi, D., editors) vol. 10 of Quaderns, (January 1998) Centre de Recerca Matemàtica, Bellaterra (Spain).
[96a]	A general algebraic semantics for sentential logics (with R. Jansana) vol. 7 of Lecture Notes in Logic, Springer-Verlag. Berlin, Heidelberg, 1996. ISBN 3-540-61699-3.   This monograph is out of print, but see item [09b] above.   Reviews: MR 98a:03002 , Zbl 865:03054, Studia Logica 64(2):287–297, Teorema XIX (2000) 130–132.

 
PUBLICATIONS
 

ARTICLES	BOOKS, ETC.

[09c]	Taking degrees of truth seriously Studia Logica 91 (2009) 383–406. Abstract Available electronically from http://www.springerlink.com.
[09a]	Update to "A Survey of Abstract Algebraic Logic" (with R. Jansana and D. Pigozzi) Studia Logica 91 (2009) 125–130. Abstract Available electronically from http://www.springerlink.com.
[08]	T-norm based fuzzy logics preserving degrees of truth (with F. Bou, F. Esteva, A. Gil, L. Godo, A. Torrens and V. Verdú) In: L. Magdalena, M. Ojeda-Aciego, J.L. Verdegay (eds) Proceedings of the 12th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (Málaga, 2008) 1053–1060. You can download the PDF file (196 KB).
[07b]	On substructural logics preserving degrees of truth Bulletin of the Section of Logic 36 (2007) 117–130. Abstract You can download a PDF file (164 KB) of the preprint version.
[07a]	Compatibilitat en àlgebra, en lògica i en informàtica Butlletí de la Societat Catalana de Matemàtiques 22 (2007) 75–110. Abstract
[06d]	On the infinite-valued Lukasiewicz logic that preserves degrees of truth (with À. J. Gil, A. Torrens and V. Verdú) Archive for Mathematical Logic 45 (2006) 839–868. Abstract Available electronically from http://www.springerlink.com. You can download a PDF file (167 KB) of the preprint version.
[06c]	In memory of Willem Blok (with A. Wronski) Reports on Mathematical Logic 41 (2006) 1–5.
[06b]	On the closure properties of the class of full g-models of a deductive system (with R. Jansana and D. Pigozzi) Studia Logica 83 (2006) 215–278. Abstract Available electronically from http://www.springerlink.com.
[06a]	Beyond Rasiowa's algebraic approach to non-classical logics Studia Logica 82 (2006) 172–209. Abstract Available electronically from http://www.springerlink.com.
[04b]	Translation into Catalan, presentation and annotation of Alfred Rényi's "A dialogue on the applications of mathematics" (with J. Pla) Butlletí de la Societat Catalana de Matemàtiques 19 (2004) 53–74. Abstract
[04a]	On weakening the deduction theorem and strengthening modus ponens (with F. Bou and J. L. García Lapresta) Mathematical Logic Quarterly 50 (2004) 303–324. Abstract Preprint available from the Institute of Mathematics of the University of Barcelona (Mathematics Preprint Series no. 346, january 2004). 28 pp.
[03c]	Generalized matrices in abstract algebraic logic In: V. Hendriks and J. Malinowski (eds.) Trends in Logic, 50 years of Studia Logica (vol. 21 of Trends in Logic - Studia Logica Library, Kluwer, Dordrecht, 2003) 57–86. Abstract To download see here.
[03b]	A survey of abstract algebraic logic (with R. Jansana and D. Pigozzi) Studia Logica (Special Issue on Abstract Algebraic Logic, part II) 74 (2003) 13–97. Available electronically from http://www.springerlink.com. Here you can read the Introduction, the Table of Contents, and some corrections.
[03a]	An abstract algebraic logic view of some multiple-valued logics In: M. Fitting and E. Orlowska (eds.) Beyond two: Theory and Applications of Multiple-Valued Logic (vol. 114 of Studies in Fuzziness and Soft Computing, Physica-Verlag/Springer-Verlag, Heidelberg-Berlin-New York, 2003) 25–58. Abstract You can download a PDF file (209 KB) of the preprint version.
[02b]	Translation into Catalan, presentation and annotation of Alfred Rényi's "A Socratic dialogue on mathematics" Butlletí de la Societat Catalana de Matemàtiques 17 (2002) 51–67. Presentation
[02a]	On Lukasiewicz's four-valued modal logic (with P. Hájek) Studia Logica 70 (2002) 157–182. Abstract Available electronically from http://www.springerlink.com.
[01b]	Leibniz filters and the strong version of a protoalgebraic logic (with R. Jansana) Archive for Mathematical Logic 40 (2001) 437–465. Abstract Available electronically from http://www.springerlink.com.
[01a]	Fully adequate Gentzen systems and the deduction theorem (with R. Jansana and D. Pigozzi) Reports on Mathematical Logic 35 (2001) 115–165. Abstract
[00b]	Lukasiewicz and modal logic (with P. Hájek) In: T. Childers and J. Palomäki (eds.) Between words and worlds (Filosofia, Prague, 2000) 184–198. Superseded by [02a]
[00a]	An abstract algebraic logic approach to tetravalent modal logics (with M. Rius) The Journal of Symbolic Logic 65 (2000) number 2, 481–518. Abstract
[99b]	On the contributions of Helena Rasiowa to mathematical logic Multiple-Valued Logic, An International Journal 4 (1999) 159–179. Abstract Warning: this paper contains many errata. Download the corrections in dvi format or in pdf format.
[99a]	On special implicative filters Mathematical Logic Quarterly 45 (1999), number 1, 117–126. Abstract
[98b]	On strong versions of protoalgebraic logics (with R. Jansana) In: J.M. Font, R. Jansana and D. Pigozzi (eds.) Workshop on abstract algebraic logic (vol. 10 of Quaderns, Centre de Recerca Matemàtica, Bellaterra, Spain, 1998) 78–82. Superseded by [01b]
[98a]	Generalized matrices and full models for sentential logics In: J.M. Font, R. Jansana and D. Pigozzi (eds.) Workshop on abstract algebraic logic (vol. 10 of Quaderns, Centre de Recerca Matemàtica, Bellaterra, Spain, 1998) 59–77. Superseded by [03c]
[97a]	Belnap's four-valued logic and De Morgan lattices Logic Journal of the IGPL 5 (1997) 413–440. Abstract
[95a]	Full models for sentential logics (with R. Jansana) Bulletin of the Section of Logic 24 (1995) 123–131.
[94c]	Una lógica epistémica para intervalos temporales In: Martín Vide, C. (ed.) Lenguajes Naturales y Lenguajes Formales X (Barcelona, P.P.U., 1994) 671–678. Abstract
[94b]	Algebraic study of two deductive systems of Relevance Logic (with G. Rodríguez) Notre Dame Journal of Formal Logic 35 (1994) 369–397. Abstract
[94a]	On the sentential logics associated with strongly nice and semi-nice general logics (with R. Jansana) Bulletin of the IGPL 2 (1994) 55–76.
[93c]	Note on a six-valued extension of three-valued logic (with M. Moussavi) Journal of Applied Non-Classical Logics 3 (1993) 173–187.
[93b]	On the Leibniz congruences In: Rauszer, C. (ed.) Algebraic Methods in Logic and in Computer Science (Banach Center Publications, vol. 28; Polish Academy of Sciences, Warszawa, 1993) 17–36.
[93a]	The lattice of distributive closure operators over an algebra (with V. Verdú) Studia Logica 52 (1993) 1–13.
[92a]	A note on Sugihara algebras (with G. Rodríguez) Publicacions Matemàtiques UAB 36 (1992) 591–599.
[91c]	Algebraic logic for some non-protoalgebraizable logics (with V. Verdú) In: Andréka, H. - Monk, J. D. - Németi, I. (eds.) Algebraic Logic (Colloquia Mathematica Societatis János Bolyai, vol. 54; North-Holland, Amsterdam, 1991) 183–188.
[91b]	Characterization of the reduced matrices for the (and,or)-fragment of classical logic (with F. Guzmán and V. Verdú) Bulletin of the Section of Logic 20 (1991) 124–128.
[91a]	Algebraic logic for classical conjunction and disjunction (with V. Verdú) Studia Logica (Special Issue on Algebraic Logic) 50 (1991) 391–419.
[90c]	Two levels of modality: an algebraic approach (with V. Verdú) In: Zarnecka-Bialy, E. (ed.) Logic Counts (Reidel, Dordrecht, 1990) 53–62.
[90b]	A four-valued modal logic arising from Monteiro's last algebras (with M. Rius) In: Proceedings of the 20th International Symposium on Multiple-Valued Logic (Charlotte, N.C., 1990) 85–92.
[90a]	Note on algebraic models for relevance logic (with G. Rodríguez) Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 36 (1990) 535–540.
[89b]	A first approach to abstract modal logics (with V. Verdú) The Journal of Symbolic Logic 54 (1989) 1042–1062.
[89a]	On the logic of distributive lattices (with V. Verdú) Bulletin of the Section of Logic 18 (1989) 79–86.
[88b]	Abstract characterization of a four-valued logic (with V. Verdú) In: Proceedings of the 18th International Symposium on Multiple-Valued Logic (The I.E.E.E. Press, Palma de Mallorca, 1988) 389–396.
[88a]	Correction to ``Some remarks on Heyting matrices'' Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 34 (1988) 287–288.
[87b]	Lógica Algebraica: Algunos métodos y algunas aplicaciones (with J. Pla and V. Verdú) In: Martín Vide, C. (ed.) Lenguajes Naturales y Lenguajes Formales II (P.P.U., Barcelona, 1987)140–170.
[87a]	On some congruence lattices of a topological Heyting lattice In: Czermak, J. and others (eds.) Contributions to General Algebra 5 (Teubner, Stuttgart, 1987)129–137.
[86b]	Some remarks on Heyting matrices Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 32 (1986) 517–520.
[86a]	Modality and possibility in some intuitionistic modal logics Notre Dame Journal of Formal Logic 27 (1986) 533–546.
[84c]	Wajsberg algebras (with A. J. Rodríguez and A. Torrens) Stochastica 8 (1984) 5–31.
[84b]	Monadicity in topological pseudo-Boolean algebras In: Müller, G. - Richter, M. (eds.) Models and Sets. (Lecture Notes in Mathematics vol 1103; Springer Verlag, Berlin etc., 1984) 169–192.
[84a]	Implication and deduction in some intuitionistic modal logics Reports on Mathematical Logic 17 (1984) 27–38.
[83a]	Intuitionistic implication in some non-classical logics of type S4 Bulletin of the Section of Logic 12 (1983) 2–7.
[82a]	Some non-classical connectives for intuitionistic modal logic In: Ballester, A. - Cardús, D. - Trillas, E. (eds.) Proceedings of the Second World Conference on Mathematics at the Service of Man (Las Palmas, 1982) 285–287.
[80b]	Nota sobre el significado lógico de ciertas estructuras residuadas elementales (with A. J. Rodríguez) Publicacions Matemàtiques UAB 20 (1980) 83–86.
[80a]	Introducció d'interiors d'ordre en lògiques abstractes Publicacions Matemàtiques UAB 20 (1980) 79–82.
[79a]	Lògiques abstractes, operadors interior, i lògiques modals S4 (with V. Verdú) Revista de la Universidad de Santander 2 (1979) number 2, 1003–1015.