scientific article; zbMATH DE number 6276267

Cited in

(60)

Formalized theory of general fuzzy reasoning.
Weakening-free, non-associative fuzzy logics: micanorm-based logics
Reasoning in fuzzy description logics using automata
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
Towards a probability theory for product logic: states, integral representation and reasoning
On the relationship between fuzzy description logics and many-valued modal logics
Skolemization and Herbrand theorems for lattice-valued logics
Implicational (semilinear) logics. III: Completeness properties
On sets of graded attribute implications with witnessed non-redundancy
Extending fuzzy logics with many hedges
States of finite GBL-algebras with monoidal sum
Fuzzy sets and formal logics
Implicational tonoid logics: algebraic and relational semantics
Implicational partial Galois logics: relational semantics
Fuzzy relational modalities admitting truth-valueless propositions
A note on minimal axiomatisations of some extensions of MTL
Free-variable semantic tableaux for the logic of fuzzy inequalities
Weakening-free fuzzy logics with the connective \(\Delta\)
On the existence of free models in fuzzy universal Horn classes
From fuzzy logic to fuzzy mathematics: a methodological manifesto
The finite embeddability property for residuated groupoids.
The principles of fuzzy logic: Its mathematical and computational aspects
Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
Paraconsistency properties in degree-preserving fuzzy logics
A survey of fuzzy implication algebras and their axiomatization
Editorial: Weighted logics for artificial intelligence -- an introductory discussion
On finitely-valued fuzzy description logics
Algebraic Kripke-style semantics for relevance logics
scientific article; zbMATH DE number 1420841 (Why is no real title available?)
A note on natural extensions in abstract algebraic logic
scientific article; zbMATH DE number 7547163 (Why is no real title available?)
A classification of certain group-like \(\mathrm{FL}_e\)-chains
Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
Graded dominance and related graded properties of fuzzy connectives
scientific article; zbMATH DE number 7536428 (Why is no real title available?)
Multi-adjoint lattice logic and truth-stressing hedges
Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
Abstract algebraic logic. An introductory chapter
Birkhoff's and Mal'cev's theorems for implicational tonoid logics
Linear abelian modal logic
Substructural nuclear (image-based) logics and operational Kripke-style semantics
Basic substructural core fuzzy logics and their extensions: mianorm-based logics
Basic semilinear logics based on \([0,u]\)-continuous uwa-uninorms
Ordered BCI-algebras, Y-kernels and (ordered) functions
Implicational tonoids and their representations
Weak associative micanorm-based logics: \([0, e]\)-continuous \(\nu\)-weak-associative logics
Is \(\mathbf{MIAL} (=SL^\ell)\) the weakest substructural core fuzzy logic?
On nilpotent minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions
Some theorems of Birkhoff in tonoid matrices
Homomorphisms of OBCI-algebras
Implicational (dual) residuated semilinear gaggle logics
Why are papers about filters on residuated structures (usually) trivial?
Uniform proofs of standard completeness for extensions of first-order MTL
A general theory of fuzzy arithmetic
A logic of graded attributes
Fuzzy inequational logic
Trakhtenbrot theorem and first-order axiomatic extensions of MTL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5406033)