The following pages link to Ventura Verdú (Q850802):
Displayed 21 items.
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- Algebraic logic for classical conjunction and disjunction (Q1189892) (← links)
- The lattice of distributive closure operators over an algebra (Q1208109) (← links)
- On a contraction-less intuitionistic propositional logic with conjunction and fusion (Q1576374) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
- Logics preserving degrees of truth from varieties of residuated lattices (Q2893327) (← links)
- (Q3142030) (← links)
- (Q3204458) (← links)
- Some Algebraic Structures Determined by Closure Operators (Q3346312) (← links)
- Logics Preserving Degrees of Truth from Varieties of Residuated Lattices (Q3656765) (← links)
- Logics Projectively Generated from [ℳ] = (ℱ4, [{1}]) by a Set of Homomorphisms (Q3745838) (← links)
- (Q3830999) (← links)
- (Q4011715) (← links)
- A first approach to abstract modal logics (Q4205420) (← links)
- A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus (Q4304150) (← links)
- On Gentzen Systems Associated with the Finite Linear MV-algebras (Q4351798) (← links)
- (Q4438232) (← links)
- A Strong Completeness Theorem for the Gentzen systems associated with finite algebras (Q4443419) (← links)
- (Q5283964) (← links)
- On Fragments without Implications of both the Full Lambek Logic and some of its Substructural Extensions (Q6243191) (← links)