Ventura Verdú

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
Corrigendum to: ``Logics preserving degrees of truth from varieties of residuated lattices Journal of Logic and Computation	2012-06-20	Paper
Logics preserving degrees of truth from varieties of residuated lattices Journal Of Logic And Computation	2010-01-14	Paper
On three implication-less fragments of t-norm based fuzzy logics Fuzzy Sets and Systems	2007-10-29	Paper
On the infinite-valued Łukasiewicz logic that preserves degrees of truth Archive for Mathematical Logic	2006-11-06	Paper
On two fragments with negation and without implication of the logic of residuated lattices Archive for Mathematical Logic	2006-09-04	Paper
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras Journal of Applied Non-Classical Logics	2004-01-13	Paper
scientific article; zbMATH DE number 2015401 (Why is no real title available?)	2003-12-09	Paper
On a contraction-less intuitionistic propositional logic with conjunction and fusion Studia Logica	2001-01-29	Paper
On Gentzen Systems Associated with the Finite Linear MV-algebras Journal Of Logic And Computation	1997-08-28	Paper
scientific article; zbMATH DE number 975274 (Why is no real title available?)	1997-05-12	Paper
A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus Mathematical Logic Quarterly	1994-10-05	Paper
scientific article; zbMATH DE number 440121 (Why is no real title available?)	1994-06-05	Paper
The lattice of distributive closure operators over an algebra Studia Logica	1993-05-16	Paper
Algebraic logic for classical conjunction and disjunction Studia Logica	1992-09-27	Paper
scientific article; zbMATH DE number 67027 (Why is no real title available?)	1992-09-27	Paper
scientific article; zbMATH DE number 4181329 (Why is no real title available?)	1990-01-01	Paper
A first approach to abstract modal logics Journal of Symbolic Logic	1989-01-01	Paper
scientific article; zbMATH DE number 4106836 (Why is no real title available?)	1989-01-01	Paper
Logics Projectively Generated from [ℳ = (ℱ4, [{1}]) by a Set of Homomorphisms] Zeitschrift für Mathematische Logik und Grundlagen der Mathematik	1987-01-01	Paper
Some Algebraic Structures Determined by Closure Operators Mathematical Logic Quarterly	1985-01-01	Paper

Research outcomes over time

This page was built for person: Ventura Verdú