Ventura Verdú

From MaRDI portal
Person:850802

Available identifiers

zbMath Open verdu.venturaMaRDI QIDQ850802

List of research outcomes

PublicationDate of PublicationType
On Fragments without Implications of both the Full Lambek Logic and some of its Substructural Extensions2013-07-08Paper
Logics preserving degrees of truth from varieties of residuated lattices2012-06-20Paper
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices2010-01-14Paper
On three implication-less fragments of t-norm based fuzzy logics2007-10-29Paper
On the infinite-valued Łukasiewicz logic that preserves degrees of truth2006-11-06Paper
On two fragments with negation and without implication of the logic of residuated lattices2006-09-04Paper
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras2004-01-13Paper
https://portal.mardi4nfdi.de/entity/Q44382322003-12-09Paper
On a contraction-less intuitionistic propositional logic with conjunction and fusion2001-01-29Paper
On Gentzen Systems Associated with the Finite Linear MV-algebras1997-08-28Paper
https://portal.mardi4nfdi.de/entity/Q52839641997-05-12Paper
A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus1994-10-05Paper
https://portal.mardi4nfdi.de/entity/Q31420301994-06-05Paper
The lattice of distributive closure operators over an algebra1993-05-16Paper
Algebraic logic for classical conjunction and disjunction1992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q40117151992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q32044581990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38309991989-01-01Paper
A first approach to abstract modal logics1989-01-01Paper
Logics Projectively Generated from [ℳ = (ℱ4, [{1}]) by a Set of Homomorphisms]1987-01-01Paper
Some Algebraic Structures Determined by Closure Operators1985-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Ventura Verdú