Ventura Verdú

Available identifiers

zbMath Open verdu.venturaMaRDI QIDQ850802

List of research outcomes

Publication	Date of Publication	Type
On Fragments without Implications of both the Full Lambek Logic and some of its Substructural Extensions	2013-07-08	Paper
Logics preserving degrees of truth from varieties of residuated lattices	2012-06-20	Paper
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices	2010-01-14	Paper
On three implication-less fragments of t-norm based fuzzy logics	2007-10-29	Paper
On the infinite-valued Łukasiewicz logic that preserves degrees of truth	2006-11-06	Paper
On two fragments with negation and without implication of the logic of residuated lattices	2006-09-04	Paper
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras	2004-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q4438232	2003-12-09	Paper
On a contraction-less intuitionistic propositional logic with conjunction and fusion	2001-01-29	Paper
On Gentzen Systems Associated with the Finite Linear MV-algebras	1997-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q5283964	1997-05-12	Paper
A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus	1994-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q3142030	1994-06-05	Paper
The lattice of distributive closure operators over an algebra	1993-05-16	Paper
Algebraic logic for classical conjunction and disjunction	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4011715	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3204458	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830999	1989-01-01	Paper
A first approach to abstract modal logics	1989-01-01	Paper
Logics Projectively Generated from [ℳ = (ℱ4, [{1}]) by a Set of Homomorphisms]	1987-01-01	Paper
Some Algebraic Structures Determined by Closure Operators	1985-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ventura Verdú