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.
computational complexityfuzzy logicproof theoryalgebraic semanticsMV-algebraarithmetical complexityŁukasiewicz logicBL-algebraFL-algebraGödel-Dummett logicHájek's basic logic
Fuzzy logic; logic of vagueness (03B52) Collections of articles of miscellaneous specific interest (00B15) Other algebras related to logic (03G25) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Related Items (51)
Pseudovarieties of algebras with fuzzy equalities. ⋮ A note on some types of filters in MTL-algebras ⋮ From Classical to Fuzzy Type Theory ⋮ On the KLM properties of a fuzzy DL with typicality ⋮ Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form ⋮ Tools for the Investigation of Substructural and Paraconsistent Logics ⋮ The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics ⋮ A cut-free calculus for second-order Gödel logic ⋮ Closure structures parameterized by systems of isotone Galois connections ⋮ Bridges Between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ Semi-linear Varieties of Lattice-Ordered Algebras ⋮ Logical perspectives on the foundations of probability ⋮ Fuzzy quantifiers defined over fuzzy domains ⋮ On decidability of concept satisfiability in description logic with product semantics ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Qualitative reasoning in a two-layered framework ⋮ Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ Two-layered logics for paraconsistent probabilities ⋮ An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic ⋮ Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components ⋮ Conservative expansions of substructural logics ⋮ Kapsner complementation: an algebraic take on Kapsner strong logics ⋮ Involutive uninorm logic with fixed point enjoys finite strong standard completeness ⋮ Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ A Lindström theorem in many-valued modal logic over a finite MTL-chain ⋮ Lindström theorems in graded model theory ⋮ On Semantic Games for Łukasiewicz Logic ⋮ Finite model property and varieties of BL-algebras ⋮ The Rényi-Ulam games and many-valued logics ⋮ Single chain completeness and some related properties ⋮ Variety theorem for algebras with fuzzy orders ⋮ Real coextensions as a tool for constructing triangular norms ⋮ Similarity monadic basic logic ⋮ The coextension of commutative pomonoids and its application to triangular norms ⋮ MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions ⋮ Relational division in rank-aware databases ⋮ Back-and-forth systems for fuzzy first-order models ⋮ Neighborhood semantics for modal many-valued logics ⋮ Characterizations of \((U^2,N)\)-implications generated by 2-uninorms and fuzzy negations from the point of view of material implication ⋮ Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization ⋮ Strictly join irreducible varieties of BL-algebras: the missing pieces ⋮ Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model ⋮ Analyzing differentiable fuzzy logic operators ⋮ A Note on Drastic Product Logic ⋮ On Standard Completeness for Non-commutative Many-Valued Logics ⋮ On linear varieties of MTL-algebras ⋮ Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic ⋮ New complexity results for Łukasiewicz logic ⋮ Monoidal functional dependencies
This page was built for publication: