Pages that link to "Item:Q1349199"
From MaRDI portal
The following pages link to Monoidal t-norm based logic: Towards a logic for left-continuous t-norms (Q1349199):
Displaying 50 items.
- Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic (Q2317508) (← links)
- Connecting fuzzy logic and argumentation frames via logical attack principles (Q2317516) (← links)
- Representations for logics and algebras related to revised drastic product t-norm (Q2317522) (← links)
- Intuitionistic fuzzy reasoning using the method of optimizing the similarity of truth tables (Q2318587) (← links)
- A topological approach to MTL-algebras (Q2324842) (← links)
- Hyperresolution for Gödel logic with truth constants (Q2328910) (← links)
- Some weaker versions of topological residuated lattices (Q2329013) (← links)
- A comparative study of variable precision fuzzy rough sets based on residuated lattices (Q2329015) (← links)
- Asymmetric equivalences in fuzzy logic (Q2333421) (← links)
- Q-filters of quantum B-algebras and basic implication algebras (Q2333871) (← links)
- The lattice of intuitionistic fuzzy filters in residuated lattices (Q2336722) (← links)
- A proof of the standard completeness for the involutive uninorm logic (Q2337894) (← links)
- Some results in weak pseudo-quasi-Wajsberg algebras (Q2337895) (← links)
- A note on minimal axiomatisations of some extensions of MTL (Q2350487) (← links)
- Radicals in MTL-algebras (Q2351583) (← links)
- EQ-algebras from the point of view of generalized algebras with fuzzy equalities (Q2351584) (← links)
- Monoidal functional dependencies (Q2353408) (← links)
- A temporal semantics for nilpotent minimum logic (Q2353684) (← links)
- Hierarchical structure and applications of fuzzy logical systems (Q2353966) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
- Algebras with implication and fusion: a different point of view. (Q2377311) (← links)
- First-order nilpotent minimum logics: first steps (Q2377356) (← links)
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics (Q2380337) (← links)
- On the scope of some formulas defining additive connectives in fuzzy logics (Q2386240) (← links)
- The radical of a perfect residuated structure (Q2390381) (← links)
- On very true operators on pocrims (Q2391233) (← links)
- Computational complexities of axiomatic extensions of monoidal t-norm based logic (Q2391235) (← links)
- Relationships between generalized Bosbach states and \(L\)-filters on residuated lattices (Q2403381) (← links)
- On the existence of free models in fuzzy universal Horn classes (Q2410497) (← links)
- A categorical equivalence for Stonean residuated lattices (Q2422315) (← links)
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) (Q2433099) (← links)
- Interior and closure operators on bounded residuated lattices (Q2440566) (← links)
- Modal MTL-algebras (Q2445422) (← links)
- Triple I method of approximate reasoning on Atanassov's intuitionistic fuzzy sets (Q2453620) (← links)
- BCI-implicative ideals of BCI-algebras (Q2456469) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space (Q2457027) (← links)
- Semi-divisible t-norms on discrete scales (Q2457039) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Boolean filters and positive implicative filters of residuated lattices (Q2465345) (← links)
- Unified full implication algorithms of fuzzy reasoning (Q2466110) (← links)
- Free algebras in varieties of Stonean residuated lattices (Q2466756) (← links)
- Strong non-standard completeness for fuzzy logics (Q2466757) (← links)
- Semi-divisible triangular norms (Q2476650) (← links)
- Topology on the set of \(R_{0}\) semantics for \(R_{0}\) algebras (Q2476655) (← links)
- The \(R_0\)-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens (Q2483068) (← links)
- Unified forms of Triple I method (Q2485521) (← links)
- Fuzzy implicative and Boolean filters of \(R_{0}\) algebras (Q2486004) (← links)
- Simplification and independence of axioms of fuzzy logic systems IMTL and NM (Q2486056) (← links)
- Consistency degrees of theories in some systems of propositional fuzzy logic (Q2486057) (← links)
