The following pages link to A treatise on many-valued logics (Q2757760):
Displaying 50 items.
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- A temporal semantics for basic logic (Q1037596) (← links)
- Relational compositions in fuzzy class theory (Q1037921) (← links)
- On the relationship between limit spaces, many valued topological spaces, and many valued preorders (Q1037936) (← links)
- Acyclic rationality indicators of fuzzy choice functions (Q1043268) (← links)
- Algebras of fuzzy sets (Q1043291) (← links)
- On the continuity of residuals of triangular norms (Q1049061) (← links)
- The GUHA method and its meaning for data mining (Q1049274) (← links)
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms (Q1349199) (← links)
- A new axiomatization for involutive monoidal t-norm-based logic (Q1349201) (← links)
- Antonyms and linguistic quantifiers in fuzzy logic (Q1349205) (← links)
- Representations and constructions of similarity-based fuzzy orderings. (Q1398923) (← links)
- Normal forms and truth tables for fuzzy logics (Q1406854) (← links)
- How to construct left-continuous triangular norms -- state of the art. (Q1428671) (← links)
- Residual implications and left-continuous t-norms which are ordinal sums of semigroups. (Q1428673) (← links)
- Compactness of fuzzy logics. (Q1428674) (← links)
- Continuous triangular subnorms. (Q1430878) (← links)
- Convex MV-algebras: many-valued logics meet decision theory (Q1615991) (← links)
- Matrix representations and interdependency on \(L\)-fuzzy covering-based approximation operators (Q1644807) (← links)
- Natural deduction for Post's logics and their duals (Q1653550) (← links)
- Weakening-free, non-associative fuzzy logics: micanorm-based logics (Q1677042) (← links)
- Rewriting systems over similarity and generalized pseudometric spaces and their properties (Q1677217) (← links)
- On the composition of fuzzy power relations (Q1677642) (← links)
- Maxima and minima in fuzzified linear orderings (Q1677832) (← links)
- Compatibility of fuzzy power relations (Q1677934) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Self-extensional three-valued paraconsistent logics (Q1682293) (← links)
- A note on two's company: ``The humbug of many logical values'' (Q1682300) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- A method to construct fuzzy implications -- rotation construction (Q1687268) (← links)
- On the \(\alpha(u,v)\)-symmetric implicational method for \(\mathrm{R}\)- and \((\mathrm{S},\mathrm{N})\)-implications (Q1687286) (← links)
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers (Q1697332) (← links)
- Factorization of matrices with grades (Q1697335) (← links)
- Local finiteness in t-norm bimonoids: overlap cases (Q1697352) (← links)
- Involutive basic substructural core fuzzy logics: involutive mianorm-based logics (Q1697513) (← links)
- Steady states of max-Łukasiewicz fuzzy systems (Q1697616) (← links)
- Representation of fuzzy subsets by Galois connections (Q1697650) (← links)
- Fuzzy Turing machines: normal form and limitative theorems (Q1697984) (← links)
- On a new class of t-norms and t-conorms on bounded lattices (Q1698146) (← links)
- The logic of the future in quantum theory (Q1708905) (← links)
- The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) (Q1712572) (← links)
- Logical foundation of the quintuple implication inference methods (Q1726231) (← links)
- On the characterizations of fuzzy implications satisfying \(I(x,I(y,z))=I(I(x,y),I(x,z))\) (Q1726392) (← links)
- New types of contrapositivisation of fuzzy implications with respect to fuzzy negations (Q1750038) (← links)
- Deresiduums of implications on a complete lattice (Q1750348) (← links)
- Sup-t-norm and inf-residuum are one type of relational product: unifying framework and consequences (Q1759704) (← links)
- Analytic calculi for product logics (Q1762728) (← links)
- Cauchy-like functional equations for uninorms continuous in \((0,1)^{2}\) (Q1795214) (← links)
- Lattice-type fuzzy order is uniquely given by its 1-cut: Proof and consequences (Q1826617) (← links)
- A comparison of fuzzy and annotated logic programming (Q1827314) (← links)
