Ventura Verdú

Publication Activity (10 Years)

Years Active: 1985-2013
Publications (10 Years): 0

Top Topics

Classical Logic

Default Theories

Truth Maintenance Systems

Top Venues

J. Log. Comput.

Publications

Àngel García-Cerdaña, Ventura Verdú
On Fragments without Implications of both the Full Lambek Logic and some of its Substructural Extensions. CoRR (2013)
Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, Ventura Verdú
Logics preserving degrees of truth from varieties of residuated lattices. J. Log. Comput. 22 (3) (2012)
Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, Ventura Verdú
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices. J. Log. Comput. 19 (6) (2009)
Romà J. Adillon, Àngel García-Cerdaña, Ventura Verdú
On three implication-less fragments of t-norm based fuzzy logics. Fuzzy Sets Syst. 158 (23) (2007)
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) (2006)
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) (2006)
Romà J. Adillon, Ventura Verdú
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion. Stud Logica 65 (1) (2000)
Àngel J. Gil, Jordi Rebagliato, Ventura Verdú
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras. J. Appl. Non Class. Logics 9 (1) (1999)
Romà J. Adillon, Ventura Verdú
On product logic. Soft Comput. 2 (3) (1998)
Àngel J. Gil, Antoni Torrens, Ventura Verdú
On Gentzen Systems Associated with the Finite Linear MV-Algebras. J. Log. Comput. 7 (4) (1997)
Jordi Rebagliato, Ventura Verdú
A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus. Math. Log. Q. 40 (1994)
Jordi Rebagliato, Ventura Verdú
On the Algebraization of Some Gentzen Systems. Fundam. Informaticae 18 (1993)
Josep Maria Font, Ventura Verdú
The lattice of distributive closure operators over an algebra. Stud Logica 52 (1) (1993)
Josep Maria Font, Ventura Verdú
Algebraic logic for classical conjunction and disjunction. Stud Logica 50 (3-4) (1991)
Josep Maria Font, Ventura Verdú
A First Approach to Abstract Modal Logics. J. Symb. Log. 54 (3) (1989)
Ventura Verdú
, [{1}]) by a Set of Homomorphisms. Math. Log. Q. 33 (3) (1987)
Ventura Verdú
Some Algebraic Structures Determined by Closure Operators. Math. Log. Q. 31 (14-18) (1985)