scientific article; zbMATH DE number 6276267
From MaRDI portal
Publication:5406033
zbMath1284.03177MaRDI QIDQ5406033
Publication date: 1 April 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (45)
The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic ⋮ Free-variable semantic tableaux for the logic of fuzzy inequalities ⋮ Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity ⋮ Weakening-free fuzzy logics with the connective \(\Delta\) ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ On the existence of free models in fuzzy universal Horn classes ⋮ Weakening-free, non-associative fuzzy logics: micanorm-based logics ⋮ Reasoning in fuzzy description logics using automata ⋮ Unnamed Item ⋮ A logic of graded attributes ⋮ Fuzzy inequational logic ⋮ Multi-adjoint lattice logic and truth-stressing hedges ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ Trakhtenbrot theorem and first-order axiomatic extensions of MTL ⋮ Abstract algebraic logic. An introductory chapter ⋮ Birkhoff's and Mal'cev's theorems for implicational tonoid logics ⋮ A note on axiomatizations of Pavelka-style complete fuzzy logics ⋮ Non-commutative first-order EQ-logics ⋮ Involutive basic substructural core fuzzy logics: involutive mianorm-based logics ⋮ Density revisited ⋮ A survey of fuzzy implication algebras and their axiomatization ⋮ Fuzzy relational modalities admitting truth-valueless propositions ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ On finitely-valued fuzzy description logics ⋮ Towards a probability theory for product logic: states, integral representation and reasoning ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Skolemization and Herbrand theorems for lattice-valued logics ⋮ A note on natural extensions in abstract algebraic logic ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ Basic substructural core fuzzy logics and their extensions: mianorm-based logics ⋮ A classification of certain group-like \(\mathrm{FL}_e\)-chains ⋮ On sets of graded attribute implications with witnessed non-redundancy ⋮ Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics ⋮ Graded dominance and related graded properties of fuzzy connectives ⋮ States of finite GBL-algebras with monoidal sum ⋮ Fuzzy sets and formal logics ⋮ Unnamed Item ⋮ Why are papers about filters on residuated structures (usually) trivial? ⋮ The finite embeddability property for residuated groupoids. ⋮ Extending fuzzy logics with many hedges ⋮ Uniform proofs of standard completeness for extensions of first-order MTL ⋮ Implicational tonoid logics: algebraic and relational semantics ⋮ Implicational partial Galois logics: relational semantics ⋮ A note on minimal axiomatisations of some extensions of MTL
This page was built for publication:
