scientific article

From MaRDI portal
Publication:2871197

zbMath1283.03001MaRDI QIDQ2871197

No author found.

Publication date: 22 January 2014


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (51)

Pseudovarieties of algebras with fuzzy equalities.A note on some types of filters in MTL-algebrasFrom Classical to Fuzzy Type TheoryOn the KLM properties of a fuzzy DL with typicalityInfinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex FormTools for the Investigation of Substructural and Paraconsistent LogicsThe Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point SemanticsA cut-free calculus for second-order Gödel logicClosure structures parameterized by systems of isotone Galois connectionsBridges Between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy LogicConsequence and Degrees of Truth in Many-Valued LogicSemi-linear Varieties of Lattice-Ordered AlgebrasLogical perspectives on the foundations of probabilityFuzzy quantifiers defined over fuzzy domainsOn decidability of concept satisfiability in description logic with product semanticsRational Pavelka logic: the best among three worlds?Qualitative reasoning in a two-layered frameworkComparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka LogicTwo-layered logics for paraconsistent probabilitiesAn approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logicAmalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many componentsConservative expansions of substructural logicsKapsner complementation: an algebraic take on Kapsner strong logicsInvolutive uninorm logic with fixed point enjoys finite strong standard completenessRepetition-free and infinitary analytic calculi for first-order rational Pavelka logicLogics of left variable inclusion and Płonka sums of matricesA Lindström theorem in many-valued modal logic over a finite MTL-chainLindström theorems in graded model theoryOn Semantic Games for Łukasiewicz LogicFinite model property and varieties of BL-algebrasThe Rényi-Ulam games and many-valued logicsSingle chain completeness and some related propertiesVariety theorem for algebras with fuzzy ordersReal coextensions as a tool for constructing triangular normsSimilarity monadic basic logicThe coextension of commutative pomonoids and its application to triangular normsMNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansionsRelational division in rank-aware databasesBack-and-forth systems for fuzzy first-order modelsNeighborhood semantics for modal many-valued logicsCharacterizations of \((U^2,N)\)-implications generated by 2-uninorms and fuzzy negations from the point of view of material implicationRedefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatizationStrictly join irreducible varieties of BL-algebras: the missing piecesWeighted defeasible knowledge bases and a multipreference semantics for a deep neural network modelAnalyzing differentiable fuzzy logic operatorsA Note on Drastic Product LogicOn Standard Completeness for Non-commutative Many-Valued LogicsOn linear varieties of MTL-algebrasSyntactic characterizations of classes of first-order structures in mathematical fuzzy logicNew complexity results for Łukasiewicz logicMonoidal functional dependencies




This page was built for publication: