scientific article; zbMATH DE number 5274055
From MaRDI portal
Publication:5387443
zbMath1148.03001MaRDI QIDQ5387443
Publication date: 13 May 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fuzzy logicBoolean algebrasmany-valued logicsemanticsclassical propositional logicalgebrasclassical first-order logicfuzzy algebrasfuzzy membership functionsderivation systemsthree-valued propositional logicextensions of fuzziness
Fuzzy logic; logic of vagueness (03B52) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Other algebras related to logic (03G25) Classical propositional logic (03B05) Many-valued logic (03B50)
Related Items (19)
A multiple-valued logic approach to the design and verification of hardware circuits ⋮ Compound Objects Comparators in Application to Similarity Detection and Object Recognition ⋮ Analyzing natural languages: antimems, contradictions, and onthologies ⋮ Asymptotic elimination of partially continuous aggregation functions in directed graphical models ⋮ Many-valued logic and sequence arguments in value theory ⋮ Belief change and 3-valued logics: Characterization of 19,683 belief change operators ⋮ Tree-like proof systems for finitely-many valued non-deterministic consequence relations ⋮ Algebraic Representation, Dualities and Beyond ⋮ Relational quantum mechanics and probability ⋮ Wave-particle duality and the objectiveness of ``true and ``false ⋮ On some properties of PBZ\(^*\)-lattices ⋮ Selected group-theoretic aspects of confirmation measure symmetries ⋮ On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis ⋮ \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates ⋮ An extended propositional logic for incomplete knowledge ⋮ Certified Reasoning with Infinity ⋮ Logics of variable inclusion and the lattice of consequence relations ⋮ Ambiguous representations of semilattices, imperfect information, and predicate transformers ⋮ Architecture-guided test resource allocation via logic
This page was built for publication:
