dblp.uni-trier.dewww.uni-trier.de

Ventura Verdú

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
11EERomà J. Adillon, Àngel García-Cerdaña, Ventura Verdú: On three implication-less fragments of t-norm based fuzzy logics. Fuzzy Sets and Systems 158(23): 2575-2590 (2007)
2006
10EEFélix Bou, Àngel García-Cerdaña, Ventura Verdú: On two fragments with negation and without implication of the logic of residuated lattices. Arch. Math. Log. 45(5): 615-647 (2006)
9EEJosep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú: On the infinite-valued Lukasiewicz logic that preserves degrees of truth. Arch. Math. Log. 45(7): 839-868 (2006)
2000
8 Romà J. Adillon, Ventura Verdú: On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion. Studia Logica 65(1): 11-30 (2000)
1999
7 Àngel J. Gil, Jordi Rebagliato, Ventura Verdú: A Strong Completeness Theorem for the Gentzen systems associated with finite algebras. Journal of Applied Non-Classical Logics 9(1): (1999)
1998
6EERomà J. Adillon, Ventura Verdú: On product logic. Soft Comput. 2(3): 141-146 (1998)
1997
5 Àngel J. Gil, Antoni Torrens, Ventura Verdú: On Gentzen Systems Associated with the Finite Linear MV-Algebras. J. Log. Comput. 7(4): 473-500 (1997)
1994
4 Jordi Rebagliato, Ventura Verdú: A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus. Math. Log. Q. 40: 61-68 (1994)
1993
3 Jordi Rebagliato, Ventura Verdú: On the Algebraization of Some Gentzen Systems. Fundam. Inform. 18: 319-338 (1993)
2 Josep Maria Font, Ventura Verdú: The lattice of distributive closure operators over an algebra. Studia Logica 52(1): 1-14 (1993)
1989
1 Josep Maria Font, Ventura Verdú: A First Approach to Abstract Modal Logics. J. Symb. Log. 54(3): 1042-1062 (1989)

Coauthor Index

1Romà J. Adillon [6] [8] [11]
2Félix Bou [10]
3Josep Maria Font [1] [2] [9]
4Àngel García-Cerdaña [10] [11]
5Àngel J. Gil [5] [7] [9]
6Jordi Rebagliato [3] [4] [7]
7Antoni Torrens [5] [9]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)