 | 2007 |
|---|
| 11 |       | Romà 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 |
|---|
| 10 | | Fé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) |
| 9 | | Josep 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 |
|---|
| 6 | | Romà 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) |
