Publication:3484812
From MaRDI portal
zbMath0705.03009MaRDI QIDQ3484812
Publication date: 1990
Full work available at URL: https://eudml.org/doc/27374
Related Items
Unnamed Item, \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\), Reasoning about mathematical fuzzy logic and its future, Algebraic Kripke-style semantics for relevance logics, Elements of model theory in higher-order fuzzy logic, Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results, First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties, Formalized theory of general fuzzy reasoning., A complete many-valued logic with product-conjunction, Triangular norm based predicate fuzzy logics, On expansions of WNM t-norm based logics with truth-constants, Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics, What is mathematical fuzzy logic, Unnamed Item, Unnamed Item, Unnamed Item
Cites Work