The following pages link to A treatise on many-valued logics (Q2757760):
Displaying 50 items.
- Concept lattices of isotone vs. antitone Galois connections in graded setting: mutual reducibility revisited (Q712683) (← links)
- On the characterization of Yager's implications (Q712693) (← links)
- Pairwise comaximal elements and the classification of all \(\vee \)-distributive triangular norms of length 3 (Q713413) (← links)
- Truth values of quantum phenomena (Q725609) (← links)
- A survey on fuzzy relational equations. I: Classification and solvability (Q735225) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Algebras with fuzzy equalities (Q812608) (← links)
- Varieties of BL-algebras (Q816863) (← links)
- A note on congruence permutability and fuzzy logic (Q816886) (← links)
- Fuzzy Horn logic. II. Implicationally defined classes. (Q818519) (← links)
- De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics (Q830363) (← links)
- A characterization of fuzzy implications generated by generalized quantifiers (Q834492) (← links)
- Relations in fuzzy class theory: initial steps (Q835181) (← links)
- \((S,N)\)- and \(R\)-implications: A state-of-the-art survey (Q835185) (← links)
- Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) (Q835272) (← links)
- The law of importation for discrete implications (Q845301) (← links)
- Conjunction-based sorites: a misguided objection to degree-theoretic (fuzzy) solutions to sorites paradoxes (Q848217) (← links)
- Contrapositive symmetrisation of fuzzy implications -- revisited (Q853450) (← links)
- The logic of tied implications. II. Syntax (Q853468) (← links)
- Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems (Q853469) (← links)
- Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic) (Q855815) (← links)
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches (Q865043) (← links)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- Distributivity of residual implications over conjunctive and disjunctive uninorms (Q868280) (← links)
- Truth values on generalizations of some commutative fuzzy structures (Q869115) (← links)
- On approximate reasoning with graded rules (Q876495) (← links)
- Fuzzy logic with countable evaluated syntax revisited (Q878970) (← links)
- A compendium of fuzzy weak orders: representations and constructions (Q879011) (← links)
- Fuzzy sets and sheaves. I: Basic concepts (Q881818) (← links)
- Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology (Q881819) (← links)
- Fuzzy logics based on \([0,1)\)-continuous uninorms (Q884954) (← links)
- A logic of graded attributes (Q892134) (← links)
- Bases of closure systems over residuated lattices (Q896027) (← links)
- Central points and approximation in residuated lattices (Q900262) (← links)
- An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words (Q903641) (← links)
- The lattice-theoretic structure of the sets of triangular norms and semi-copulas (Q928575) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448) (← links)
- An analysis of Ruspini partitions in Gödel logic (Q962901) (← links)
- Optimal triangular decompositions of matrices with entries from residuated lattices (Q962936) (← links)
- Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory (Q965912) (← links)
- A characterization of (U,N), RU, QL and D-implications derived from uninorms satisfying the law of importation (Q969568) (← links)
- On the distributivity of fuzzy implications over continuous and Archimedean triangular conorms (Q969570) (← links)
- Implication structures, fuzzy subsets, and enriched categories (Q969578) (← links)
- Residuated lattices of size \(\leq 12\) (Q981681) (← links)
- Continuous R-implications generated from representable aggregation functions (Q991413) (← links)
- Confluence and termination of fuzzy relations (Q991880) (← links)
- A way to interpret Łukasiewicz logic and basic logic (Q1005968) (← links)
- Quantitative logic (Q1007841) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
