Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona JOSEP MARIA FONT Imatge de diagramaci
UB Home Imatge de diagramaci
Imatge de diagramació
Binimelˇla Imatge de diagramació
Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci
Imatge de diagramaci
Index
Home
Teaching
Interests
Short c.v.
Publications
Other material
The research group
The Seminar
The Master
Imatge de diagramaci Imatge de diagramaci  
 

 
PUBLICATIONS
 

BOOKS, EDITED VOLUMES, CD-ROM (for ARTICLES go to )
Imatge de diagramacio
[17b] A general algebraic semantics for sentential logics. Second, revised edition. New reprinting.
(with R. Jansana)
 
vol. 7 of Lecture Notes in Logic
Cambridge University Press, 2017. 158 pp. ISBN 978-1-10716-797-1.
 
This is a reprinting of item [09b] below.
Hard copies are available from the publisher's web page and from Amazon.
new cover
[16a] Abstract Algebraic Logic - An Introductory Textbook
 
vol. 60 of Studies in Logic - Mathematical Logic and Foundations
College Publications, London, 2016. 546 pp. ISBN 978-1-84890-207-7.
 
Available from the publisher's web page and from Amazon.
 
You can preview the frontmatter of the book here,
and you can see a list of errata and minor corrections here.
new cover
[13a] Special issue on abstract algebraic logic
(edited by J.M. Font and R. Jansana)
Studia Logica volume 101, number 4 (2013). 252 pp.
Authors: F. Bou and U. Rivieccio; C. Caleiro and R. Gonçalves; P. Cintula and C. Noguera; A.J. Gil; M.A. Martins, A. Madeira and L.S. Barbosa; A. Nurakunov and M. Stronkowski; G. Voutsadakis. With an Introduction by the editors.
Available electronically from Springer Link.
[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. 152 pp.
Available electronically (free of charge) from 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.
Available electronically from the journal's site.
[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.
Available electronically from Springer Link.
[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.
Available electronically from Springer Link.
[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 [17b] above.
Reviews: MR 98a:03002 , Zbl 865:03054, Studia Logica 64(2):287–297, Teorema XIX (2000) 130–132.
Imatge de diagramacio

 

ARTICLES (for BOOKS, ETC. go to )
Imatge de diagramacio
[18a] Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
(with H. Albuquerque, R. Jansana and T. Moraschini)
In: J. Czelakowski (ed.) Don Pigozzi on abstract algebraic logic, universal algebra and computer science (vol. 16 of Outstanding Contributions to Logic, Springer-Verlag, 2018) 53–80. Abstract
Available electronically from Springer Link.
You can download the postprint version here.
[17c] Note on the full generalized models of the extensions of a logic
(with H. Albuquerque and R. Jansana)
Reports on Mathematical Logic 52 (2017) 57–68. Abstract
You can download the postprint version here.
[17a] The strong version of a sentential logic
(with H. Albuquerque and R. Jansana)
Studia Logica 105 (2017) 703–760. Abstract
Available electronically from Springer Nature SharedIt or Springer Link.
[16c] Ordering protoalgebraic logics
Journal of Logic and Computation 26 (2016) 1395–1419. Abstract
Available electronically from Oxford University Press.
You can download the postprint version here.
[16b] Compatibility operators in abstract algebraic logic
(with H. Albuquerque and R. Jansana)
The Journal of Symbolic Logic 81 (2016) 417–462. Abstract
Available electronically from Cambridge University Press.
[15b] M-sets and the representation problem
(with T. Moraschini)
Studia Logica 103 (2015) 21–51. Abstract
Available electronically from Springer Link.
[15a] Consequence and degrees of truth in many-valued logic
In: F. Montagna (ed.) Petr Hájek on Mathematical Fuzzy Logic (vol. 6 of Outstanding Contributions to Logic, Springer-Verlag, 2015) 117–142. Abstract
Available electronically from Springer Link.
You can download the postprint version here.
[14c] Logics of varieties, logics of semilattices and conjunction
(with T. Moraschini)
Logic Journal of IGPL 22 (2014) 818–843. Abstract
Available electronically from Oxford University Press.
You can download the postprint version here.
[14b] A note on congruences of semilattices with sectionally finite height
(with T. Moraschini)
Algebra Universalis 72 (2014) 287–293. Abstract
Available electronically from Springer Link.
[14a] On the logics associated with a given variety of algebras
(with T. Moraschini)
In: A. Indrzejczak, J. Kaczmarek and M. Zawidzki (eds.) Trends in Logic XXIII: Gentzen's and Jaskowski's heritage. 80 years of natural deduction and sequent calculi (Łódź, 2014) 67–80.
[13d] The simplest protoalgebraic logic
Mathematical Logic Quarterly 59 (2013) 435–451. Abstract
Available electronically from the journal's site.
The published version contains three serious typographical mistakes in Propositions 2.4, 2.5 and 2.6, which are corrected in this Erratum, vol. 60 (2014), page 91.
You can download the postprint, error-free version here.
[13c] Atoms in a lattice of theories
Bulletin of the Section of Logic 42 (2013) 21–31. Abstract
Available electronically from the journal's site.
[13b] Introduction to the Special Issue on Abstract Algebraic Logic
(with R. Jansana)
Studia Logica 101 (2013) 647–650.
Available electronically from Springer Link.
[12a] Corrigendum to: "Logics preserving degres of truth from varieties of residuated lattices"
(with F. Bou)
Journal of Logic and Computation 22 (2012) 661–665.
Available electronically from Oxford University Press.
You can download the preprint version here.
[11b] On semilattice-based logics with an algebraizable assertional companion
Reports on Mathematical Logic 46 (2011) 109–132. Abstract
Available electronically from the journal's site.
[11a] Leibniz-linked pairs of deductive systems
(with R. Jansana)
Studia Logica (Special issue in honour of Ryszard Wójcicki) 99 (2011) 171–202. Abstract
Available electronically from Springer Link.
[09d] Logics preserving degres of truth from varieties of residuated lattices
(with F. Bou, F. Esteva, À.J. Gil, L. Godo, A. Torrens and V. Verdú.)
Journal of Logic and Computation 19 (2009) 1031–1069. Abstract
Available electronically from Oxford University Press.
You can download the preprint version here.
[09c] Taking degrees of truth seriously
Studia Logica 91 (2009) 383–406. Abstract
Available electronically from Springer Link.
[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 Springer Link.
[08] T-norm based fuzzy logics preserving degrees of truth
(with F. Bou, F. Esteva, À.J. Gil, L. Godo, A. Torrens and V. Verdú)
In: L. Magdalena, M. Ojeda-Aciego and 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 paper here.
[07b] On substructural logics preserving degrees of truth
Bulletin of the Section of Logic 36 (2007) 117–130. Abstract
Available electronically from the journal's site.
[07a] Compatibilitat en ŕlgebra, en lňgica i en informŕtica
Butlletí de la Societat Catalana de Matemàtiques 22 (2007) 75–110. Abstract
Available electronically from the Institut d'Estudis Catalans.
[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 Springer Link.
[06c] In memory of Willem Blok
(with A. Wronski)
Reports on Mathematical Logic 41 (2006) 1–5.
Available electronically from the journal's site.
[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 Springer Link.
[06a] Beyond Rasiowa's algebraic approach to non-classical logics
Studia Logica 82 (2006) 172–209. Abstract
Available electronically from Springer Link.
[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
Available electronically from the Institut d'Estudis Catalans
[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
You can download the paper here.
[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
Available electronically from Springer Link.
[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 Springer Link.
You can read the Introduction and the Table of Contents here.
Item [09a] is an update, which includes 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
Available electronically from Springer Link.
[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
Available electronically from the Institut d'Estudis Catalans
[02a] On Lukasiewicz's four-valued modal logic
(with P. Hájek)
Studia Logica 70 (2002) 157–182. Abstract
Available electronically from Springer Link.
[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 Springer Link.
[01a] Fully adequate Gentzen systems and the deduction theorem
(with R. Jansana and D. Pigozzi)
Reports on Mathematical Logic 35 (2001) 115–165. Abstract
Available electronically from the journal's site.
[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) 481–518. Abstract
Available electronically from JStor.
[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; you can download a corrections sheet here.
You can download the postprint version here.
[99a] On special implicative filters
Mathematical Logic Quarterly 45 (1999) 117–126. Abstract
You can download the paper here.
[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
Available electronically from Oxford University Press.
[95a] Full models for sentential logics
(with R. Jansana)
Bulletin of the Section of Logic 24 (1995) 123–131.
Available electronically from the journal's site.
[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.
[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
You can download the paper here.
[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. Abstract.
You can download the paper here.
[93c] Note on a six-valued extension of three-valued logic
(with M. Moussavi)
Journal of Applied Non-Classical Logics 3 (1993) 173–187. Abstract.
You can download the paper here.
[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.
You can download the paper here.
[91c] Algebraic logic for some non-protoalgebraizable logics
(with V. Verdú)
In: H. Andréka, J.D. Monk and I. Németi (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.
Available electronically from the journal's site.
[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.
You can download the paper here.
[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.
You can download the paper here.
[89b] A first approach to abstract modal logics
(with V. Verdú)
The Journal of Symbolic Logic 54 (1989) 1042–1062.
Available electronically from JStor.
[89a] On the logic of distributive lattices
(with V. Verdú)
Bulletin of the Section of Logic 18 (1989) 79–86.
Available electronically from the journal's site.
[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.
You can download the paper here.
[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: J. Czermak 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. Abstract
You can download the paper here.
[84b] Monadicity in topological pseudo-Boolean algebras
In: G. Müller and M. Richter (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.
Available electronically from the journal's site.
[82a] Some non-classical connectives for intuitionistic modal logic
In: A. Ballester, D. Cardús and E. Trillas (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) 1003–1015.
 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © Josep Maria Font Mac made Latest update: 27/05/18