Ventura Verdú

According to our database1, Ventura Verdú authored at least 16 papers between 1985 and 2012.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Logics preserving degrees of truth from varieties of residuated lattices.
J. Log. Comput., 2012

2009
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices.
J. Log. Comput., 2009

2007
On three implication-less fragments of t-norm based fuzzy logics.
Fuzzy Sets and Systems, 2007

2006
On the infinite-valued Lukasiewicz logic that preserves degrees of truth.
Arch. Math. Log., 2006

On two fragments with negation and without implication of the logic of residuated lattices.
Arch. Math. Log., 2006

2000
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion.
Studia Logica, 2000

1999
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras.
Journal of Applied Non-Classical Logics, 1999

1998
On product logic.
Soft Comput., 1998

1997
On Gentzen Systems Associated with the Finite Linear MV-Algebras.
J. Log. Comput., 1997

1994
A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus.
Math. Log. Q., 1994

1993
The lattice of distributive closure operators over an algebra.
Studia Logica, 1993

On the Algebraization of Some Gentzen Systems.
Fundam. Inform., 1993

1991
Algebraic logic for classical conjunction and disjunction.
Studia Logica, 1991

1989
A First Approach to Abstract Modal Logics.
J. Symb. Log., 1989

1987
Logics Projectively Generated from [ℳ] = (ℱ4, [{1}]) by a Set of Homomorphisms.
Math. Log. Q., 1987

1985
Some Algebraic Structures Determined by Closure Operators.
Math. Log. Q., 1985


  Loading...