scientific article; zbMATH DE number 2042619
From MaRDI portal
Publication:4450449
zbMath1038.03026MaRDI QIDQ4450449
Àngel García-Cerdaña, Lluís Godo, Francesc Esteva
Publication date: 15 February 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fuzzy logic; logic of vagueness (03B52) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (21)
Triangle algebras: A formal logic approach to interval-valued residuated lattices ⋮ Representation theorems for some fuzzy logics based on residuated non-distributive lattices ⋮ On the scope of some formulas defining additive connectives in fuzzy logics ⋮ Computational complexities of axiomatic extensions of monoidal t-norm based logic ⋮ Truth values on generalizations of some commutative fuzzy structures ⋮ Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras ⋮ The standard completeness of interval-valued monoidal t-norm based logic ⋮ On three implication-less fragments of t-norm based fuzzy logics ⋮ Determinization of fuzzy automata with membership values in complete residuated lattices ⋮ The logic of tied implications. I: Properties, applications and representation ⋮ Fuzzy sets and formal logics ⋮ Fuzzy logics from substructural perspective ⋮ Unnamed Item ⋮ On two fragments with negation and without implication of the logic of residuated lattices ⋮ Filters of residuated lattices and triangle algebras ⋮ Issues on adjointness in multiple-valued logics ⋮ The pseudo-linear semantics of interval-valued fuzzy logics ⋮ A note on Trillas' CHC models ⋮ Commutative integral bounded residuated lattices with an added involution ⋮ Automata theory based on complete residuated lattice-valued logic: Pushdown automata ⋮ Automata theory based on complete residuated lattice-valued logic: a categorical approach
This page was built for publication: