scientific article
From MaRDI portal
Publication:2871198
zbMath1283.03002MaRDI QIDQ2871198
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) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Related Items (26)
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases ⋮ Two notions of MV-algebraic semisimplicity relative to fixed MV-chains ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ The logic of the strongest and the weakest t-norms ⋮ Associative, idempotent, symmetric, and order-preserving operations on chains ⋮ Ideals of semisimple MV-algebras and convergence along set-theoretic filters ⋮ An elementary belief function logic ⋮ Qualitative reasoning in a two-layered framework ⋮ Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras ⋮ On some questions concerning the axiomatisation of WNM-algebras and their subvarieties ⋮ On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra ⋮ Attribute dependencies for data with grades I, ⋮ An expansion of basic logic with fixed points ⋮ Expanding \(\text{FL}_{ew}\) with a Boolean connective ⋮ On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions ⋮ From Kripke to Neighborhood Semantics for Modal Fuzzy Logics ⋮ Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components ⋮ Introduction ⋮ On fuzzification mechanisms for unary quantification ⋮ $$\mathbf {RM}$$ RM and its Nice Properties ⋮ \(N\)-vertical generated implications and their distributivities over \(t\)-norms and \(t\)-conorms ⋮ NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES ⋮ Randomized semantic games for fuzzy logics ⋮ Strong standard completeness for continuous t-norms ⋮ Closure operations on MV-algebras ⋮ On the distributivity for the ordinal sums of implications over t-norms and t-conorms
This page was built for publication:
