Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona RESEARCH GROUP IN NON-CLASSICAL LOGICS Imatge de diagramaci
UB Home Imatge de diagramaci
Imatge de diagramació
Imatge de diagramacio
Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci
Imatge de diagramaci
Index
About
Members
Collaborators
Funding
Publications
Manuscripts
The Seminar
Master
Doctorate
Links
 
 
Imatge de diagramaci Imatge de diagramaci  
 

PUBLICATIONS

In press

  1. Bou, F. Infinite-valued Lukasiewicz logic based on principal lattice  filters. Journal of Multiple-Valued Logic and Soft Computing (201x). To appear.
  2. Cabrer, L. M., and Gil-Férez, J. Leibniz interpolation properties. Annals of Pure and Applied Logic (201x). To appear.
  3. Celani, S., and Jansana, R. Model theory for positive modal logic. Fundamenta Informaticae (201x). To appear.
  4. Celani, S., and Jansana, R. On the free implicative meet-semilattice extension of a Hilbert algebra. Mathematical Logic Quarterly (201x). To appear.
  5. Cignoli, R., and Torrens, A. Varieties of commutative integral bounded residuated lattices admitting a boolean retraction term. Studia Logica (201x). To appear.
  6. Dellunde, P. Revisiting ultraproducts in fuzzy predicate logics. Journal of Multiple-Valued Logic and Soft Computing (201x). To appear.
  7. Gil, A. J. On Gentzen relations associated with finite-valued logics preserving degrees of truth. Studia Logica (2012). To appear.
  8. Icard, T. F., and Joosten, J. J. Provability and interpretability logics with restricted substitutions. Notre Dame Journal of Formal Logic (201x). To appear.
  9. Jansana, R. Algebraizable logics with a strong conjunction and their semilattice-based companions. Archive for Mathematical Logic (201x). To appear.
  10. Jansana, R. Bloom, Brown and Suszko’s work on abstract logics. In Universal Logic: An Anthology. From Paul Hertz to Dov Gabbay, Studies in Universal Logic. Springer-Verlag, Basel, 2012. To appear.
  11. Joosten, J. J., Soler-Toscano, F., and Zenil, H. Program-size versus time complexity; slow-down and speed-up phenomena in the microcosmos of small Turing machines. International Journal of Unconventional Computing (2011). To appear.

2012

  1. Jansana, R., and Rivieccio, U. Residuated bilattices. Soft Computing 16 (2012), 493-504. DOI: 10.1007/s00500-011-0752-x.
  2. Pinyol, I., Sabater-Mir, J., Dellunde, P., and Paolucci, M. Reputation-based decisions for logic-based cognitive agents. Autonomous Agents and Multi-Agent Systems 24 (2012), 175-216. DOI: 10.1007/s10458-010-9149-y.

2011

  1. Albert, M., Cordón-Franco, A., van Ditmarsch, H., Fernández-Duque, D., Joosten, J. J., and Soler-Toscano, F. Secure communication of local states in interpreted systems. In International Symposium on Distributed Computing and Artificial Intelligence (2011), A. Abraham, J. Corchado, S. González, and J. de Paz Santana, Eds., vol. 91 of Advances in Intelligent and Soft Computing, Springer, pp. 117–124.
  2. Bezhanishvili, G., and Jansana, R. Priestley style duality for distributive meet-semilattices. Studia Logica 98 (2011), 83–122. DOI: 10.1007/s11225-011-9323-5.
  3. Bezhanishvili, G., and Jansana, R. Generalized Priestley quasi-orders. Order 28 (2011), 201–220. DOI: 10.1007/s11083-010-9166-0.
  4. Bezhanishvili, G., and Jansana, R. Esakia style duality for implicative semilattices. Applied Categorical Structures (201x). Published online on 9 September 2011, DOI: 10.1007/s10485-011-9265-0.
  5. Bobillo, F., Bou, F., and Straccia, U. On the failure of the finite model property in some fuzzy description logics. Fuzzy Sets and Systems 172 (2011), 1–12. DOI: 10.1016/j.fss.2011.02.012.
  6. Bou, F., Esteva, F., Godo, L., and Rodríguez, R. On the minimum many-valued modal logic over a finite residuated lattice. Journal of Logic and Computation 21 (2011), 739–790. DOI: 10.1093/logcom/exp062.
  7. Bou, F., and Font, J. M. Correction to the paper “Logics preserving degrees of truth from varieties of residuated lattices”. Journal of Logic and Computation (2011). Published online on 1 March 2011, DOI: 10.1093/logcom/exr003.
  8. Bou, F., Jansana, R., and Rivieccio, U. Varieties of interlaced bilattices. Algebra Universalis 66 (2011), 115–141. DOI: 10.1007/s00012-011-0151-2.
  9. Bou, F., and Joosten, J. J. The closed fragment of IL is PSPACE hard. Electronic Notes in Theoretical Computer Science 278 (2011), 47–54. DOI: 10.1016/j.entcs.2011.10.005.
  10. Bou, F., and Rivieccio, U. The logic of distributive bilattices. Logic Journal of the IGPL 19 (2011), 183–216. DOI: 10.1093/jigpal/jzq041.
  11. Cabello, A., and Joosten, J. J. Hidden variables simulating quantum contextuality increasingly violate the Holevo bound. In Unconventional Computing. Proceedings of the 10th International Conference (Turku, Finland, 2011), vol. 6714 of Lecture Notes in Computer Science, pp. 64–76.
  12. Castaño, D., Díaz-Varela, J. P., and Torrens, A. Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts. Soft Computing 15 (2011), 1449–1455. DOI: 10.1007/s00500-010-0683-y.
  13. Castaño, D., Díaz-Varela, J. P., and Torrens, A. Free-decomposability in varieties of pseudo-complemented residuated lattices. Studia Logica 98 (2011), 223–235. DOI: 10.1007/s11225-011-9326-2.
  14. Castro, J. E., Celani, S. A., and Jansana, R. Distributive lattices with a generalized implication: topological duality. Order 28 (2011), 227–249. DOI: 10.1007/s11083-010-9168-y.
  15. Dellunde, P. Preserving mappings in fuzzy predicate logics. Journal of Logic and Computation (2011). Published online on 9 August 2011, DOI: 10.1093/logcom/exr019.
  16. Dellunde, P., Godo, L., and Marchioni, E. Extending possibilistic logic over Gödel logic. International Journal of Approximate Reasoning 52 (2011), 63–75. DOI: 10.1016/j.ijar.2010.08.014.
  17. Font, J. M. On semilattice-based logics with an algebraizable assertional companion. Reports on Mathematical Logic 46 (2011), 109–132.
  18. Font, J. M., and Jansana, R. Leibniz-linked pairs of deductive systems. Studia Logica (Special issue in honor of Ryszard Wójcicki on the occasion of his 80th birthday) 99 (2011), 171–202. DOI:10.1007/s11225-011-9359-6.
  19. Gerhke, M., Jansana, R., and Palmigiano, A.1-completions of a poset. Order (201x). Published online on 26 July 2011, DOI: 10.1007/s11083-011-9226-0.
  20. Gil-Férez, J. Representations of structural closure operators. Archive for Mathematical Logic 50 (2011), 45–73. DOI: 10.1007/s00153-010-0201-z.
  21. Zenil, H., Soler-Toscano, F., and Joosten, J. J. Empirical encounters with computational irreducibility and unpredictability. Minds and Machines (201x). Published online on 19 November 2011, DOI: 10.1007/s11023-011-9262-y.

2010

  1. Armengol, E., and García-Cerdaña, A. Lazy induction of descriptions using two fuzzy versions of the Rand Index. In Information Processing and Management of Uncertainty in Knowledge-Based Systems. Proceedings of IPMU 2010, Part I, E. Hüllermeier, R. Kruse, and F. Hoffmann, Eds., vol. 80 of Communications in Computer and Information Science. Springer-Verlag, 2010, pp. 396-405.
  2. Bou, F. Infinite-valued Lukasiewicz logic based on principal lattice filters. In Proceedings of the 40th International Symposium on Multiple-Valued Logic, ISMVL 2010, F. Esteva, J. Gispert, and F. Manyà, Eds. IEEE Computer Society, 2010, pp. 83-88. DOI: 10.1109/ISMVL.2010.23
  3. Bou, F., Paoli, F., Ledda, A., Spinks, M., and Giuntini, R. The logic of quasi-MV algebras. Journal of Logic and Computation 20 (2010), 619-643, DOI: 10.1093/logcom/exp080
  4. Cerami, M., Esteva, F., and Bou, F. Decidability of a description logic over infinite-valued product logic. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010,F. Lin, U. Sattler, and M. Truszczynski, Eds. AAAI Press, 2010, pp. 203-213.
  5. Cerami, M., García-Cerdaña, A., and Esteva, F. On elementary extensions in fuzzy predicate logics. In Proceedings of WCCI 2010 IEEE World Congress on Computational Intelligence (FUZZ-IEEE 2010), P. Sobrevilla, Ed. IEEE Computer Society, 2010, pp. 1506-1513.
  6. Dellunde, P. Revisiting ultraproducts in fuzzy predicate logics. In Proceedings of the 40th International Symposium on Multiple-Valued Logic. IEEE Computer Society, 2010, pp. 134-139.
  7. Dellunde, P., and Esteva, F. Revisiting ultraproducts in fuzzy predicate logics. In Computational Intelligence for Knowledge-Based Systems Design, Proceedings of the 13th International Conference on Information Processing and Management of Uncertainty (IPMU 2010), vol. 6178 of Lecture Notes in Computer Science. Springer-Verlag, 2010, pp. 747-756.
  8. García-Cerdaña, À., Armengol, E., and Dellunde, P. Similarity for attribute-value representations in fuzzy description logics. In Artificial Intelligence Research and Developement. Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2010, R. Alquézar, A. Moreno, and J. Aguilar, Eds., vol. 220 of Frontiers in Artificial Intelligence and Applications. IOS Press, 2010, pp. 269-278.
  9. García-Cerdaña, À., Armengol, E., and Esteva, F. Fuzzy description logics and t-norm based fuzzy logics. International Journal of Approximate Reasoning 51 (2010), 632-655. DOI: 10.1016/j.ijar.2010.01.001
  10. Gehrke, M., Jansana, R., and Palmigiano, A. Canonical extensions for congruential logics with the deduction theorem. Annals of Pure and Applied Logic (2010), pp. 502-1519. DOI: 10.1016/j.apal.2010.05.003
  11. Ontañón, S., Dellunde, P., Godo, L., and Plaza, E. Towards a logical model of induction from examples and communication. In Artificial Intelligence Research and Developement. Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2010, R. Alquézar, A. Moreno, and J. Aguilar, Eds., vol. 220 of Frontiers in Artificial Intelligence and Applications. IOS Press, 2010, pp. 259-268.
  12. Pardo, P., Dellunde, P., and Godo, L. Base belief change for finitary monotonic logics. In Current Topics in Artificial Intelligence, P. Meseguer, L. Mandow, and R. Gasca, Eds., vol. 5988 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2010, pp. 82-92.
  13. Sindhu, J., Sierra, C., Schorlemmer, W. M., and Dellunde, P. Deductive coherence and norm adoption. Logic Journal of the IGPL 18 (2010), 118-156. DOI: 10.1093/jigpal/jzp074
  14. Torrens, A. Semisimplicity and the discriminator in bounded BCK-algebras. Algebra Universalis 63 (2010), 1-16.

2009

  1. Bou, F., Esteva, F., Font, J. M., Gil, A., Godo, L., Torrens, A., and Verdú, V. Logics preserving degrees of truth from varieties of residuated lattices. Journal of Logic and Computation 19 (2009), 1031–1069, DOI 10.1093/logcom/exp030
  2. Cintula, P., Esteva, F., Gispert, J., Godo, L., Montagna, F., and Noguera, C. Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalences. In Annals of Pure and Applied Logic 160 (2009), 53–81. DOI 10.1016/j.apal.2009.01.012
  3. Dellunde, P. On reduced semantics for fuzzy predicate logics. In Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, J. P. Carvalho, D. Dubois, U. Kaymak, and J. M. da Costa Sousa, Eds. IFSA/EUSFLAT, 2009, pp. 414–419.
  4. Dellunde, P., Godo, L., and Marchioni, E. Exploring extensions of possibilistic logic over Gödel logic. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference. Proceedings, C. Sossai and G. Chemello, Eds., vol. 5590 of Lecture Notes in Computer Science. Springer, 2009, pp. 923–934.
  5. Font, J. M. Taking degrees of truth seriously, Studia Logica (Special issue on Truth Values, Part I) 91, 383406, DOI 10.1007/s11225-009-9180-7
  6. Font, J. M., Jansana, R., and Pigozzi, D. Update to "A Survey of Abstract Algebraic Logic". Studia Logica 91 (2009), 125130, DOI 10.1007/s11225-009-9169-2
  7. García-Cerdaña, À., Armengol, E., and Esteva, F. Fuzzy description logics and t-norm based fuzzy logics. International Journal of Approximate Reasoning. To appear. DOI: 10.1016/j.ijar.2010.01.001
  8. Pardo, P., Dellunde, P., and Godo, L. Secure and optimal base contraction in graded Lukasiewicz logics. In Artificial Intelligence Research and Development, Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence, S. Sandri, M. Sànchez-Marré, and U. Cortés, Eds., vol. 202 of Frontiers in Artificial Intelligence and Applications. IOS Press, 2009, pp. 265–274.

2008

  1. Bilkova, M., Palmigiano, A., and Venema, Y. Proof systems for the coalgebraic cover modality. In Advances in Modal Logic 7, C. Areces and R. Goldblatt, Eds. College Publications, (2008), pp. 121.
  2. Bou, F. A first approach to the deduction-detachment theorem in logics preserving degrees of truth. In Proceedings of the 12th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (Malaga, 2008), L. Magdalena, M. Ojeda-Aciego, and J. L. Verdegay, Eds., pp. 10611067.
  3. Bou, F., Esteva, F., Font, J. M., Gil, A., Godo, L., Torrens, A., and Verdú, V. T-norm based fuzzy logics preserving degrees of truth. In Proceedings of the 12th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (Malaga, 2008), L. Magdalena, M. Ojeda-Aciego, and J. L. Verdegay, Eds., pp. 10531060.
  4. Bou, F., Esteva, F., and Godo, L. Exploring a syntactic notion of modal many-valued logics. In Mathware and Soft Computing 15 (2008), 175–188.
  5. Bou, F., Paoli, F., Ledda, A., and Freytes, H. On some properties of quasi-MV algebras and $\sqrt{'}$ quasi-MV algebras. Part II. Soft Computing 12 (2008), 341–352. DOI 10.1007/s00500-007-0185-8
  6. Gil, A., Hermann, M., Salzer, G., and Zanuttini, B. Efficient algorithms for constraint description problems over finite totally ordered domains. SIAM Journal of Computing 38 (2008), 922-945.
  7. Gispert, J., and Torrens, A. Boolean representation of bounded BCK-algebras. Soft Computing 12 (2008), 941–954, DOI 10.1007/s00500-007-0261-0
  8. Noguera, C., Esteva, F., and Gispert, J. On triangular norm based axiomatic extensions of the Weak Nilpotent Minimum Logic. Mathematical Logic Quarterly 54 (2008), 387409, DOI 10.1002/malq.200710054
  9. Torrens, A. An approach to Glivenko’s Theorem in algebraizable logics. Studia Logica 88 (2008) 349-383, DOI 10.1007/s11225-008-9109-6

2007

  1. Adillon, R., García-Cerdaña, À., and Verdú, V. On three implication-less fragments of t-norm based fuzzy logics. Fuzzy Sets and Systems 158 (2007), 2575–2590.
  2. Esteva, F., Gispert, J., Godo, L., and Noguera, C. Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results. Fuzzy Sets and Systems 158 (2007), 597–618.
  3. Font, J. M. Compatibilitat en àlgebra, en lògica i en informàtica. Butlletí de la Societat Catalana de Matemàtiques 22 (2007), 75–110. [In Catalan].
  4. Font, J. M. On substructural logics preserving degrees of truth. Bulletin of the Section of Logic 36 (2007), 117–130.
  5. Gispert, J., and Torrens, A. Bounded BCK-algebras and their generated variety. Mathematical Logic Quarterly 53 (2007), 206–213.
  6. Palmigiano, A., and Venema, Y. Nabla algebras and chu spaces. In In Algebra and Coalgebra in Computer Science, T. Mossakowski, U. Montanari, and M. Haveraaen, Eds., vol. 4624 of Lecture Notes in Computer Science. Springer, (2007), pp. 394408, DOI 10.1007/978-3-540-73859-6_27

2006

  1. Bou, F., García-Cerdaña, À., and Verdú, V. On two fragments with negation and without implication of the logic of residuated lattices. Archive for Mathematical Logic 45 (2006), 615–647.
  2. Cignoli, R., and Torrens, A. Free algebras in varieties of Glivenko MTL-algebras satisfying the equation $2(x)^2 = (2x)^2$. Studia Logica 83 (2006), 157–181.
  3. Díaz-Varela, J. P., and Torrens, A. Decomposability of free Lukasiewicz implication algebras. Archive for Mathematical Logic 45 (2006), 1011–1020.
  4. Font, J. M. Beyond Rasiowa’s algebraic approach to non-classical logics. Studia Logica 82 (2006), 172–209.
  5. Font, J. M., Gil, A., Torrens, A., and Verdú, V. On the infinite-valued Lukasiewicz logic that preserves degrees of truth. Archive for Mathematical Logic 45 (2006), 839–868.
  6. Font, J. M., Jansana, R., and Pigozzi, D. On the closure properties of the class of full g-models of a deductive system. Studia Logica (Special issue in memory of Willem Blok) 83 (2006), 215–278.
  7. Font, J. M., and Wronski, A. In memory of Wim Blok. Reports on Mathematical Logic (Special issue in memory of Willem Blok) 41 (2006), 2–5.
  8. Font, J. M., and Wronski, A., Eds. Special issue in memory of Wim Blok (2006), vol. 41 of Reports on Mathematical Logic. 194 pp. With a preface by the editors.
  9. Gil-Férez, J. Multi-term $\pi$-institutions and their equivalence. Mathematical Logic Quarterly 52 (2006), 505–526.
  10. Gil, A., and Rebagliato, J. Finitely equivalential Gentzen systems associated with arbitrary finite algebras. Reports on Mathematical Logic (Special issue in memory of Willem Blok) 41 (2006), 9–30.
  11. Gracia, D. An example of a new kind of algebraizability. Bulletin of the Section of Logic 36 (2006), 173–185.
  12. Jansana, R. Willem Blok’s contribution to abstract algebraic logic. Studia Logica (Special issue in memory of Willem Johannes Blok) 83 (2006). 31–48.
  13. Jansana, R. Selfextensional logics with a conjunction. Studia Logica 84 (2006), 63–104.
  14. Jansana, R. Consequence relations and algebraic logic. Stanford Encyclopedia of Philosophy, 2006. 35 pages.
  15. Jansana, R., and Palmigiano, A. Referential semantics: duality and applications. Reports on Mathematical Logic (Special issue in memory of Willem Blok) 41 (2006), 63–93.

2005

  1. Bou, F. Complexity of Strict Implication. In Advances in Modal Logic 5, R. Schmidt, I. Pratt-Hartman, M. Reynolds, and H. Wansing, Eds. King’s College Publications, London, 2005, pp. 1–16.
  2. Celani, S., and Jansana, R. Bounded distributive lattices with strict implication. Mathematical Logic Quarterly 51 (2005), 219–246.
  3. Cignoli, R., and Torrens, A. Standard completeness of Hájek basic logic and decompositions of BL-chains. Soft Computing 9 (2005), 866–886.
  4. Dunn, M., Gehrke, M., and Palmigiano, A. Canonical extensions of ordered algebraic structures and relational completeness of some substructural logics. The Journal of Symbolic Logic 70 (2005), 713–740.
  5. Esteva, F., García-Cerdaña, À., and Noguera, C. On the scope of some formulas defining additive connectives in fuzzy logics. Fuzzy Sets and Systems 154 (2005), 565–75.
  6. Gispert, J., and Mundici, D. MV-algebras: a variety for magnitudes with archimedean units. Algebra Universalis 53 (2005), 7–43.
  7. Gispert, J., and Torrens, A. Axiomatic extensions of IMT3 logic. Studia Logica 81 (2005), 311–324.
  8. Jansana, R. Selfextensional logics with implication. In Logica Universalis, J.-Y. Béziau, Ed. Birkhäuser Verlag, Basel, 2005, pp. 65–88.
  9. Noguera, C., Esteva, F., and Gispert, J. Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Archive for Mathematical Logic 44 (2005), 869–886.
  10. Noguera, C., Esteva, F., and Gispert, J. On some varieties of MTL-algebras. Logic Journal of the IGPL 13 (2005), 443–466.

2004

  1. Abad, M., Díaz-Varela, J. P., and Torrens, A. Topological representation for implication algebras. Algebra Universalis 52 (2004), 39–48.
  2. Arpaia, R. On a substructural logic with minimal negation. Bulletin of the Section of Logic 33 (2004), 143–156.
  3. Bou, F., Font, J. M., and García Lapresta, J. L. On weakening the deduction theorem and strengthening modus ponens. Mathematical Logic Quarterly 50 (2004), 303–324.
  4. Castro, J., and Celani, S. Quasi-modal lattices. Order 21 (2004), 107–129.
  5. Cignoli, R., and Torrens, A. Glivenko-like theorems in natural expansions of BCK-logic. Mathematical Logic Quarterly 50 (2004), 11–216.
  6. Gil, A., Hermann, M., Salzer, G., and Zanuttini, B. Efficient algorithms for constraint description problems over finite totally ordered domains. In Proc. 2nd Int. Joint Conference on Automated Reasoning (IJCAR’04) (2004), D. Basin and M. Rusinowitch, Eds., vol. 3097 of Lecture Notes in Computer Science, Springer-Verlag, pp. 244–258. Submitted to SIAM Journal of Computing.
  7. Jansana, R. Selfextensional logics in abstract algebraic logic: a brief survey. In Aspects of Universal Logic, J.-Y. Béziau, A. Costa-Leite, and A. Facchini, Eds., no. 17 in Cahiers de Logique. Centre de Recerches Sémiologiques, Université de Neuchâtel, Neuchâtel, December 2004, pp. 32–65.
  8. Kurz, A., and Palmigiano, A. Coalgebras and modal expansions of logics. Electronic Notes in Theoretical Computer Science 106 (2004), 243–259.
  9. Palmigiano, A. A coalgebraic view on positive modal logic. Theoretical Computer Science 327 (2004), 175–195.

2003

  1. Baaz, M., Fermüller, C. G., Gil, A. J., Preining, N., and Salzer, G. MUltlog and MUltseq reanimated and married. In Proc. 4th Int. Workshop on the Implementation of Logics (2003), B. Konev and R. Schmidt, Eds., Technical Report ULCS-03-018. Electronically available from http://www.csc.liv.ac.uk/research/techreports/
  2. Blok, W., and Rebagliato, J. Algebraic semantics for deductive systems. Studia Logica (Special issue on Abstract Algebraic Logic, Part II) 74 (2003), 153–180.
  3. Celani, S., and Jansana, R. A closer look at some subintuitionistic logics. Notre Dame Journal of Formal Logic 42 (2001), 225–255. (published 2003)
  4. Cignoli, R., and Torrens, A. Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic. Archive for Mathematical Logic 42 (2003), 361–370.
  5. Díaz Varela, J. P., and Torrens, A. Decomposability of free Tarski algebras. Algebra Universalis 50 (2003), 1–5.
  6. Elgueta, R. Review of Protoalgebraic Logics, by J. Czelakowski. Studia Logica (Special issue on Abstract Algebraic Logic, Part II) 74 (2003), 313–342.
  7. Esteva, F., Godo, L., and García-Cerdaña, À. On the hierarchy of t-norm based residuated fuzzy logics. In Beyond two: theory and applications of multiple-valued logic, M. Fitting and E. Or lowska, Eds., vol. 114 of Studies in Fuzziness and Soft Computing. Physica-Verlag, Heidelberg, 2003, pp. 251–272.
  8. Font, J. M. An abstract algebraic logic view of some multiple-valued logics. In Beyond two: Theory and applications of multiple-valued logic, M. Fitting and E. Orlowska, Eds., vol. 114 of Studies in Fuzziness and Soft Computing. Physica-Verlag, Heidelberg, 2003, pp. 25–58.
  9. Font, J. M. Generalized matrices in abstract algebraic logic. In Trends in Logic. 50 years of Studia Logica, V. F. Hendriks and J. Malinowski, Eds., vol. 21 of Trends in Logic - Studia Logica Library. Kluwer, Dordrecht, 2003, pp. 57–86.
  10. Font, J. M., Jansana, R., and Pigozzi, D. Foreword. Studia Logica (Special issue on Abstract Algebraic Logic, Part II) 74 (2003), 3–12.
  11. Font, J. M., Jansana, R., and Pigozzi, D. A survey of abstract algebraic logic. Studia Logica (Special issue on Abstract Algebraic Logic, Part II) 74 (2003), 13–97.
  12. Font, J. M., Jansana, R., and Pigozzi, D., Eds. Special issue on Abstract Algebraic Logic, Part II (2003), vol. 74 (1/2) of Studia Logica. 341 pp. With a foreword by the editors.
  13. García Olmedo, F. M., and Rodríguez Salas, A. J. Negation and BCK-algebras. Mathematical Logic Quarterly 49 (2003), 336–346.
  14. Gispert, J. Axiomatic extensions of the nilpotent minimum logic. Reports on Mathematical Logic 37 (2003). 113–123.
  15. Gottwald, S., García-Cerdaña, À., and Bou, F. Axiomatizing monoidal logic. A correction to: “A treatise on many-valued logics”. Journal of Multiple-Valued Logic and Soft Computing 9, 4 (2003), 427–433.
  16. Jansana, R. Leibniz filters revisited. Studia Logica 75 (2003), 305–317.
  17. Palmigiano, A. Coalgebraic semantics for positive modal logic. In Electronic Notes in Theoretical Computer Science (2003), H. P. Gumm, Ed., vol. 82, 1, Elsevier.

2002

  1. Adillon, R. J., and Verdú, V. On a substructural Gentzen system, its equivalent variety semantics and its external deductive system. Bulletin of the Section of Logic 31 (2002), 1–10.
  2. Cignoli, R., and Torrens, A. Free algebras in varieties of BL-algebras with a Boolean retract. Algebra Universalis 48 (2002). 55–79.
  3. Esteva, F., Gispert, J., Godo, L., and Montagna, F. On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Studia Logica 71 (2002), 199–226.
  4. Font, J. M., and Hájek, P. On Lukasiewicz’s four-valued modal logic. Studia Logica 70 (2002), 157–182.
  5. García Olmedo, F. M., and Rodríguez Salas, A. J. Algebraization of the three-valued BCK-logic. Mathematical Logic Quarterly 48 (2002), 163–178.
  6. Gispert, J. Universal classes of MV-chains, with applications to many-valued logics. Mathematical Logic Quarterly 48 (2002), 581–601.
  7. Jansana, R. Full models for positive modal logic. Mathematical Logic Quarterly 48 (2002), 427–445.
  8. Palmigiano, A. Abstract logics as dialgebras. In Electronic Notes in Theoretical Computer Science (2002), L. S. Moss, Ed., vol. 65, 1, Elsevier.

2001

  1. Font, J. M. Combining modality and four-valuedness: an abstract algebraic logic approach. In Collegium Logicum, vol. 4 of Annals of the Kurt Gödel Society. The Kurt Gödel Society, Vienna, 2001, pp. 229–233.
  2. Font, J. M., and Jansana, R. Leibniz filters and the strong version of a protoalgebraic logic. Archive for Mathematical Logic 40 (2001), 437–465.
  3. Font, J. M., Jansana, R., and Pigozzi, D. Fully adequate Gentzen systems and the deduction theorem. Reports on Mathematical Logic 35 (2001), 115–165.

2000

  1. Adillon, R., and Verdú, V. On a contraction-less intuitionistic propositional logic with conjunction and fusion. Studia Logica (Special issue on Abstract Algebraic Logic, Part I) 65 (2000), 11–30.
  2. Cignoli, R., Esteva, F., Godo, L., and Torrens, A. Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing 4 (2000), 106–112.
  3. Cignoli, R., and Torrens, A. An algebraic analysis of product logic. Multiple-Valued Logic 5 (2000), 45–65.
  4. Cignoli, R., and Torrens, A. Free cancellative hoops. Algebra Universalis 43 (2000), 213–216.
  5. Cignoli, R., and Torrens, A. Free Stone algebras. Discrete Mathematics 222 (2000), 251–257.
  6. Czelakowski, J., and Jansana, R. Weakly algebraizable logics. The Journal of Symbolic Logic 65 (2000), 641–668.
  7. Font, J. M., and Hájek, P. Lukasiewicz and modal logic. In Between words and worlds, T. Childers and J. Palomäki, Eds. Filosofia, Prague, 2000, pp. 184–198.
  8. Font, J. M., Jansana, R., and Pigozzi, D. Foreword. Studia Logica (Special issue on Abstract Algebraic Logic, Part I) 65 (2000), 1–8.
  9. Font, J. M., and Rius, M. An abstract algebraic logic approach to tetravalent modal logics. The Journal of Symbolic Logic 65 (2000), 481–518.
  10. Font, J. M., Jansana, R., and Pigozzi, D., Eds. Special issue on Abstract Algebraic Logic, Part I (June 2000), vol. 65 (1) of Studia Logica. 153 pp. With a foreword by the editors.
  11. García Olmedo, F. J., and Rodríguez, A. J. Linearization of the BCK logic. Studia Logica (Special issue on Abstract Algebraic Logic, Part I) 65 (2000), 31–51.
  12. Gil, A. J., and Rebagliato, J. Protoalgebraic Gentzen systems and the cut rule. Studia Logica (Special issue on Abstract Algebraic Logic, Part I) 65 (2000), 53–89.
  13. Jansana, R. Subintuitionistic logics. In Lógica, lenguaje e información (Sevilla, 2000), A. Nepomuceno, J. Quesada, and F. Salguero, Eds., Kronos, pp. 135–137.
  14. Palmigiano, A. Normal Gentzen deductions in the classical case. Logic Journal of the IGPL 8 (March 2000), 211–219.

1999

  1. Celani, S., and Jansana, R. Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic. Logic Journal of the IGPL 7 (1999), 683–715.
  2. Czelakowski, J., and Elgueta, R. Local characterization theorems for some classes of structures. Acta Scientiarum Mathematicarum (Szeged) 65 (1999), 19–32.
  3. Elgueta, R. Algebraic characterizations for universal fragments of logic. Mathematical Logic Quarterly 45 (1999), 385–398.
  4. Elgueta, R. Freeness in classes defined without equality. The Journal of Symbolic Logic 64 (1999), 1159–1194.
  5. Elgueta, R., and Jansana, R. Definability of Leibniz equality. Studia Logica 63 (1999), 223–243.
  6. Font, J. M. Addendum to the paper “Belnap’s four-valued logic and De Morgan lattices”. Logic Journal of the IGPL 7 (1999), 671–672.
  7. Font, J. M. On special implicative filters. Mathematical Logic Quarterly 45 (1999), 117–126.
  8. Font, J. M. On the contributions of Helena Rasiowa to mathematical logic. Multiple-Valued Logic 4 (1999), 159–179.
  9. Gil, A. J., Rebagliato, J., and Verdú, V. A strong completeness theorem for the Gentzen systems associated with finite algebras. Journal of Applied Non-Classical Logics 9 (1999), 9–36.
  10. Gispert, J., Mundici, D., and Torrens, A. Ultraproducts of Z with an application to many-valued logics. Journal of Algebra 219 (1999), 214–233.

1998

  1. Adillon, R., and Verdú, V. On product logic. Soft Computing 2 (1998), 141–146.
  2. Elgueta, R. Subdirect representation theory for classes without equality. Algebra Universalis 40 (1998), 201–246.
  3. Font, J. M., Jansana, R., and Pigozzi, D., Eds. Workshop on abstract algebraic logic, vol. 10 of Quaderns. Centre de Recerca Matemàtica, Bellaterra (Spain), 1998. 199 pp.
  4. Gispert, J., and Torrens, A. Quasivarieties generated by simple MV-algebras. Studia Logica 61 (1998), 79–99.

1997

  1. Celani, S., and Jansana, R. A new semantics for positive modal logic. Notre Dame Journal of Formal Logic 38 (1997), 1–18.
  2. Elgueta, R. Characterizing classes defined without equality. Studia Logica 58 (1997), 357–394.
  3. Font, J. M. Belnap’s four-valued logic and De Morgan lattices. Logic Journal of the IGPL 5 (1997), 413–440.
  4. Gil, A. J., Torrens, A., and Verdú, V. On Gentzen systems associated with the finite linear MV-algebras. Journal of Logic and Computation 7 (1997), 473–500.

1996

  1. Adillon, R., and Verdú, V. A Gentzen system equivalent to the BCK-logic. Bulletin of the Section of Logic 25 (1996), 73–79.
  2. Casanovas, E., Dellunde, P., and Jansana, R. On elementary equivalence for equality-free logic. Notre Dame Journal of Formal Logic 37 (1996), 506–522.
  3. Cignoli, R., and Torrens, A. Boolean products of MV-algebras: hypernormal MV-algebras. Journal of Mathematical Analysis and Applications 199 (1996), 637–653.
  4. Cignoli, R., and Torrens, A. The poset of prime l-ideals of an abelian l-group with a strong unit. Journal of Algebra 184 (1996), 604–612.
  5. Dellunde, P., and Jansana, R. Some characterization theorems for infinitary universal Horn logic without equality. The Journal of Symbolic Logic 61 (1996), 1242–1260.
  6. Font, J. M., and Jansana, R. A general algebraic semantics for sentential logics, vol. 7 of Lecture Notes in Logic. Springer-Verlag, 1996. 135 pp. Presently distributed by the Association for Symbolic Logic.
  7. Pla, J. Les matemàtiques i els matemàtics de la revolució francesa. Butlletí de la Societat Catalana de Matemàtiques 11 (1996), 31–78.

1995

  1. Cignoli, R., and Torrens, A. Retractive MV-algebras. Mathware and Soft Computing 2 (1995), 157–165.
  2. Font, J. M., and Jansana, R. Full models for sentential logics. Bulletin of the Section of Logic 24 (1995), 123–131.
  3. García Olmedo, F. M., and Rodríguez Salas, A. J. Temporal algebras, pretemporal algebras, and modal algebras: A relation between time and necessity. Mathematical Logic Quarterly 41 (1995), 24–38.
  4. García Olmedo, F. M., and Rodríguez Salas, A. J. A structure theorem for free temporal algebras. Mathematical Logic Quarterly 41 (1995), 249–256.
  5. Jansana, R. Abstract modal logics. Studia Logica 55 (1995), 273–299.

1994

  1. Font, J. M., and Jansana, R. On the sentential logics associated with strongly nice and semi-nice general logics. Bull. of the IGPL 2 (1994), 55–76.
  2. Font, J. M., and Rodríguez, G. Algebraic study of two deductive systems of relevance logic. Notre Dame Journal of Formal Logic 35 (1994), 369–397.
  3. Jansana, R. Some logics related to the logic of place of G. H. von Wright. Notre Dame Journal of Formal Logic 35 (1994), 88–98.
  4. Rebagliato, J., and Verdú, V. A finite Hilbert-style axiomatization of the implication-less fragment of the intuitionistic propositional calculus. Mathematical Logic Quarterly 40 (1994), 61–68.
  5. Torrens, A. Cyclic elements in MV-algebras and Post algebras. Mathematical Logic Quarterly 40 (1994), 431–444.
  6. Torrens, A., and Rodríguez, A. J. Wajsberg algebras and Post algebras. Studia Logica 53 (1994), 1–19.

1993

  1. Font, J. M. On the Leibniz congruences. In Algebraic Methods in Logic and in Computer Science, C. Rauszer, Ed., vol. 28 of Banach Center Publications. Polish Academy of Sciences, Warszawa, 1993, pp. 17–36.
  2. Font, J. M., and Moussavi, M. Note on a six-valued extension of three-valued logic. Journal of Applied Non-Classical Logics 3 (1993), 173–187.
  3. Font, J. M., and Verdú, V. The lattice of distributive closure operators over an algebra. Studia Logica 52 (1993), 1–13.
  4. García Olmedo, F. J., and Rodríguez, A. J. Pretemporal algebras. Comptes Rendus de l’Académie des Sciences 317 (1993), 435–440.
  5. Rebagliato, J., and Verdú, V. On the algebraization of some Gentzen systems. Fundamenta Informaticae (Special issue on Algebraic Logic and its Applications) 18 (1993), 319–338.

Prior to 1993 (partial list)

  1. Font, J. M. Correction to “Some remarks on Heyting matrices”. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 34 (1988), 287–288.
  2. Font, J. M. Implication and deduction in some intuitionistic modal logics. Reports on Mathematical Logic 17 (1984), 27–38.
  3. Font, J. M. Intuitionistic implication in some non-classical logics of type S4. Bulletin of the Section of Logic 12 (1983), 2–7.
  4. Font, J. M. Modality and possibility in some intuitionistic modal logics. Notre Dame Journal of Formal Logic 27 (1986), 533–546.
  5. Font, J. M. Monadicity in topological pseudo-Boolean algebras. In Models and sets, G. Müller and M. Richter, Eds., vol. 1103 of Lecture Notes in Mathematics. Springer-Verlag, 1984, pp. 169–189.
  6. Font, J. M. On some congruence lattices of a topological Heyting lattice. In Contributions to General Algebra, J. Czermak et al., Eds., vol. 5. Teubner, Stuttgart, 1987, pp. 129–137.
  7. Font, J. M. Some non-classical connectives for intuitionistic modal logic. In Proc. 2nd. World Conf. Math. Service Man. (Las Palmas, 1982), pp. 285–287.
  8. Font, J. M. Some remarks on Heyting matrices. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 32 (1986), 517–520.
  9. Font, J. M., Guzmán, F., and Verdú, V. Characterization of the reduced matrices for the {^, _}-fragment of classical logic. Bulletin of the Section of Logic 20 (1991), 124–128.
  10. Font, J. M., and Rius, M. A four-valued modal logic arising from Monteiro’s last algebras. In Proc. 20th Int. Symp. Multiple-Valued Logic (Charlotte, 1990), The IEEE Computer Society Press, pp. 85–92.
  11. Font, J. M., Rodríguez, A. J., and Torrens, A. Wajsberg algebras. Stochastica 8 (1984), 5–31.
  12. Font, J. M., and Rodríguez, G. A note on Sugihara algebras. Publ. Mat. UAB 36 (1992), 591–599.
  13. Font, J. M., and Rodríguez, G. Note on algebraic models for relevance logic. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 36 (1990), 535–540.
  14. Font, J. M., and Verdú, V. Abstract characterization of a four-valued logic. In Proc. 18th Int. Symp. Multiple-Valued Logic (Palma de Mallorca, 1988), The IEEE Computer Society Press, pp. 389–396.
  15. Font, J. M., and Verdú, V. Abstract logics, interior operators, and S4 modal logics. Rev. Univ. Santander II (1979), 867–869 and 1003–1015. (in Catalan).
  16. Font, J. M., and Verdú, V. A first approach to abstract modal logics. The Journal of Symbolic Logic 54 (1989), 1042–1062.
  17. Font, J. M., and Verdú, V. Algebraic logic for classical conjunction and disjunction. Studia Logica (Special issue on Algebraic Logic) 50 (1991), 391–419.
  18. Font, J. M., and Verdú, V. Algebraic logic for some non-protoalgebraizable logics. In Algebraic Logic, H. Andréka, J. D. Monk, and I. Németi, Eds., vol. 54 of Colloq. Math. Soc. János Bolyai. North-Holland, Amsterdam, 1991, pp. 183–188.
  19. Font, J. M., and Verdú, V. On the logic of distributive lattices. Bulletin of the Section of Logic 18 (1989), 79–86.
  20. Font, J. M., and Verdú, V. Two levels of modality: an algebraic approach. In Logic Counts, E. Z˙ arnecka-Bia ly, Ed. Reidel, Dordrecht, 1990, pp. 53–62.
  21. Jansana, R. On the mathematical content of the theory of classes KM. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 35 (1989), 399–412.
  22. Jansana, R. Una introducción a la lógica modal. Tecnos, Madrid, 1990.
  23. Pla, J. Alguns aspectes actuals de la lògica algebraica. Publ. Sect. Mat. Univ. Autònoma Barcelona 12 (1979), 21–36.
  24. Pla, J., and Verdú, V. Àlgebres quasi-Hilbertianes. Publ. Sect. Mat. Univ. Autònoma Barcelona 20 (1980), 97–99.
  25. Rodríguez, A. J., Torrens, A., and Verdú, V. Lukasiewicz logic and Wajsberg algebras. Bulletin of the Section of Logic 19 (1990), 51–55.
  26. Torrens, A. Boolean products of CW-algebras and pseudocomplementation. Reports on Mathematical Logic 23 (1989), 51–55.
  27. Torrens, A. On the role of the polynomial (x ! y) ! y in some implicative algebras. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 34 (1988), 117–122.
  28. Torrens, A. W-algebras which are Boolean products of members of SR[1] and CW-algebras. Studia Logica 47 (1987), 265–274.
  29. Verdú, V. Distributive and Boolean logics. Stochastica 3 (1979), 97–108. (in Catalan).
  30. Verdú, V. Logical characterizations of certain algebras. Publ. Sec. Mat. Univ. Autònoma Barcelona 20 (1980), 97–100. (in Catalan).
  31. Verdú, V. Logics projectively generated from [M] = (F4, [{1}]) by a set of homomorphisms. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 33 (1987), 235–241.
  32. Verdú, V. Some algebraic structures determined by closure operators. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 31 (1985), 275–278.

 

 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © Universitat de Barcelona Webmaster: Josep Maria Font
Latest update: 12/03/12