Publication:3484812

zbMath0705.03009MaRDI QIDQ3484812

Vilém Novák

Publication date: 1990

Full work available at URL: https://eudml.org/doc/27374

zbMATH Keywords

logical consequence; proof; fuzzy elementary theory; fuzzy set of nonlogical axioms

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03B50: Many-valued logic

Related Items

Vagueness and Formal Fuzzy Logic: Some Criticisms, Unnamed Item, On lifting quasi-filters and strong lifting quasi-filters in MV-algebras, \(\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 note on axiomatizations of Pavelka-style complete fuzzy logics, Back-and-forth systems for fuzzy first-order models, A complete many-valued logic with product-conjunction, Pavelka-style fuzzy logic in retrospect and prospect, Triangular norm based predicate fuzzy logics, On expansions of WNM t-norm based logics with truth-constants, Subtypes in fuzzy type theory, 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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory
• Fuzzy logic and fuzzy reasoning
• Fuzzy sets and t-norms in the light of fuzzy logic
• On Fuzzy Logic I Many‐valued rules of inference
• Foundations of fuzzy reasoning
• Continuous Model Theory. (AM-58)