scientific article
From MaRDI portal
Publication:3484812
zbMath0705.03009MaRDI QIDQ3484812
Publication date: 1990
Full work available at URL: https://eudml.org/doc/27374
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (24)
On lifting quasi-filters and strong lifting quasi-filters in MV-algebras ⋮ Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics ⋮ Vagueness and Formal Fuzzy Logic: Some Criticisms ⋮ A complete many-valued logic with product-conjunction ⋮ Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ A note on axiomatizations of Pavelka-style complete fuzzy logics ⋮ Formalized theory of general fuzzy reasoning. ⋮ Unnamed Item ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Elements of model theory in higher-order fuzzy logic ⋮ What is mathematical fuzzy logic ⋮ Pavelka-style fuzzy logic in retrospect and prospect ⋮ Unnamed Item ⋮ Triangular norm based predicate fuzzy logics ⋮ On expansions of WNM t-norm based logics with truth-constants ⋮ \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) ⋮ Back-and-forth systems for fuzzy first-order models ⋮ Unnamed Item ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ Subtypes in fuzzy type theory ⋮ Unnamed Item ⋮ A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra
Cites Work
This page was built for publication:
