The following pages link to (Q2871198):
Displaying 25 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras (Q898779) (← links)
- The logic of the strongest and the weakest t-norms (Q1677041) (← links)
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties (Q1697331) (← links)
- On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra (Q1697517) (← links)
- An expansion of basic logic with fixed points (Q1699729) (← links)
- Expanding \(\text{FL}_{ew}\) with a Boolean connective (Q1699735) (← links)
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions (Q1699738) (← links)
- Strong standard completeness for continuous t-norms (Q1795210) (← links)
- Randomized semantic games for fuzzy logics (Q2035339) (← links)
- Closure operations on MV-algebras (Q2049272) (← links)
- On the distributivity for the ordinal sums of implications over t-norms and t-conorms (Q2105612) (← links)
- Associative, idempotent, symmetric, and order-preserving operations on chains (Q2183096) (← links)
- On fuzzification mechanisms for unary quantification (Q2219169) (← links)
- \(N\)-vertical generated implications and their distributivities over \(t\)-norms and \(t\)-conorms (Q2237511) (← links)
- Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components (Q2695340) (← links)
- Attribute dependencies for data with grades I<sup>,</sup> (Q2964405) (← links)
- $$\mathbf {RM}$$ RM and its Nice Properties (Q3305418) (← links)
- An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases (Q5038463) (← links)
- Two notions of MV-algebraic semisimplicity relative to fixed MV-chains (Q5048040) (← links)
- From Kripke to Neighborhood Semantics for Modal Fuzzy Logics (Q5117202) (← links)
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES (Q5402233) (← links)
- Introduction (Q5892200) (← links)
- Ideals of semisimple MV-algebras and convergence along set-theoretic filters (Q6079400) (← links)
- Qualitative reasoning in a two-layered framework (Q6099380) (← links)
