 |
|
|
|
|
|
|
|
|
| |
PUBLICATIONS
|
ARTICLES
|
BOOKS, ETC. 
|
|
|
| [07] |
Adillon, R., García-Cerdaña, À., and Verdú, V. On three implicationless
fragments of t-norm based fuzzy logics. Fuzzy Sets and Systems 158 (2007),
2575–2590.
You can download a PDF file (167 KB) of the preprint version. |
| [06b] |
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
You can download a PDF file (167 KB) of the preprint version. |
|
[06a] |
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.Abstract
Available electronically from http://www.springerlink.com.
You can download a PDF file (167 KB) of the preprint version. |
| [02] |
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. |
| [00] |
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. |
| [99] |
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. |
| [98] |
Adillon, R., and Verdú, V. On product logic. Soft Computing 2 (1998), 141–146. |
| [97] |
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. |
| [96] |
Adillon, R., and Verdú, V. A Gentzen system equivalent to the BCK-logic. Bulletin of the Section of Logic 25 (1996), 73–79. |
| [94] |
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. |
|
[93b] |
Font, J. M., and Verdú, V. The lattice of distributive closure operators over an algebra. Studia Logica 52 (1993), 1–13. |
| [93a] |
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. |
|
[91c] |
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.
|
|
[91b] |
Font, J. M., and Verdú, V. Algebraic logic for classical conjunction and disjunction. Studia Logica (Special issue on Algebraic Logic) 50 (1991), 391–419.
|
| [91a] |
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. |
|
[90b] |
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. |
| [90a] |
Rodríguez, A. J., Torrens, A., and Verdú, V. Lukasiewicz logic and Wajsberg algebras. Bulletin of the Section of Logic 19 (1990), 51–55. |
|
[89b] | Font, J. M., and Verdú, V. A first approach to abstract modal logics. The Journal of Symbolic Logic 54(1989), 1042–1062.
|
|
[89a] | Font, J. M., and Verdú, V. On the logic of distributive lattices. Bulletin of the Section of Logic 18 (1989), 79–86.
|
|
[88] |
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.
|
|
[87b] |
Font, J. M., Verdú, V., J. Pla Lógica Algebraica: Algunos métodos y algunas aplicaciones.
In: Martín Vide, C. (ed.) Lenguajes Naturales y Lenguajes Formales II (P.P.U., Barcelona, 1987)140–170. |
| [87a] |
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.
Available in Mathematical Logic Quarterly |
| [85] |
Verdú, V. Some algebraic structures determined by closure operators. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 31 (1985), 275–278.
Available in Mathematical Logic Quarterly |
| [80b] |
Pla, J., and Verdú, V. Àlgebres quasi-Hilbertianes. Publ. Sect. Mat. Univ. Autònoma Barcelona 20 (1980), 97–99. |
| [80a] |
Verdú, V. Logical characterizations of certain algebras. Publ. Sec. Mat. Univ. Autònoma Barcelona 20 (1980), 97–100. (in Catalan). |
|
[79b] |
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). |
| [79a] |
Verdú, V. Distributive and Boolean logics. Stochastica 3 (1979), 97–108. (in Catalan). |
|
|
|
|
|
