Josep Maria Font
Josep Maria Font
Professor, Faculty of Mathematics, University of Barcelona (now retired)
E-mail confirmado em ub.edu - Página inicial
Título
Citado por
Citado por
Ano
A survey of abstract algebraic logic
JM Font, R Jansana, D Pigozzi
Studia Logica 74 (1-2), 13-97, 2003
3632003
A general algebraic semantics for sentential logics
JM Font, R Jansana
Cambridge University Press, 2017
3162017
Wajsberg algebras.
JM Font, AJ Rodríguez, A Torrens
Stochastica 8 (1), 5-31, 1984
2301984
Belnap's four-valued logic and De Morgan lattices
JM Font
Logic Journal of IGPL 5 (3), 1-29, 1997
1351997
Abstract algebraic logic: An introductory textbook
JM Font
College Publications, London, 2016
126*2016
Logics preserving degrees of truth from varieties of residuated lattices
F Bou, F Esteva, JM Font, ÀJ Gil, L Godo, A Torrens, V Verdú
Journal of Logic and Computation 19 (6), 1031-1069, 2009
722009
Algebraic logic for classical conjunction and disjunction
JM Font, V Verdú
Studia Logica 50 (3-4), 391-419, 1991
721991
On łukasiewicz's four-valued modal logic
JM Font, P Hájek
Studia Logica 70 (2), 157-182, 2002
582002
An abstract algebraic logic approach to tetravalent modal logics
JM Font, M Rius
Journal of Symbolic Logic, 481-518, 2000
532000
Note on algebraic models for relevance logic
JM Font, G Rodríguez
Mathematical Logic Quarterly 36 (6), 535-540, 1990
441990
On the infinite-valued Łukasiewicz logic that preserves degrees of truth
JM Font, ÀJ Gil, A Torrens, V Verdú
Archive for Mathematical Logic 45 (7), 839-868, 2006
402006
Modality and possibility in some intuitionistic modal logics.
JM Font
Notre Dame Journal of Formal Logic 27 (4), 533-546, 1986
401986
Leibniz filters and the strong version of a protoalgebraic logic
JM Font, R Jansana
Archive for Mathematical Logic 40 (6), 437-465, 2001
392001
Taking degrees of truth seriously
JM Font
Studia Logica 91 (3), 383-406, 2009
372009
Note on a six-valued extension of three-valued logic
JM Font, M Moussavi
Journal of Applied Non-Classical Logics 3 (2), 173-187, 1993
371993
Characterization of the reduced matrices for the {∧,∨}-fragment of classical logic
JM Font, F Guzmán, V Verdú
Bulletin of the Section of Logic 20 (3/4), 124-128, 1991
351991
Structural characterisation reveals insights into substrate recognition by the glutamine transporter ASCT2/SLC1A5
AJ Scopelliti, J Font, RJ Vandenberg, O Boudker, RM Ryan
Nature communications 9 (1), 1-12, 2018
342018
Fully adequate Gentzen systems and the deduction theorem
F Josep Maria, R Jansana, D Pigozzi
Reports on mathematical logic 35, 115-165, 2001
292001
Algebraic study of two deductive systems of relevance logic
JM Font, G RoDRIGUEz
Notre Dame Journal of Formal Logic 35 (3), 369-397, 1994
271994
Recreation, conservation and timber production: a sustainable relationship
X Font, J Tribe
Forest Tourism and Recreation: Case Studies in Environmental Management …, 2000
242000
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20