Found 22 Documents (Results 1–22)
Relational division in rank-aware databases. (English) Zbl 1427.68069
MSC:
68P15
Computing sets of graded attribute implications with witnessed non-redundancy. (English) Zbl 1398.68560
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers. (English) Zbl 1387.03007
Reviewer: Manfred Kerber (Birmingham)
Fuzzy inequational logic. (English) Zbl 1343.03024
MSC:
03B52
A logic of graded attributes. (English) Zbl 1477.03079
On modelling with words. (English) Zbl 1282.93160
MSC:
93C42
Reasoning about mathematical fuzzy logic and its future. (English) Zbl 1247.03036
Reviewer: Siegfried J. Gottwald (Leipzig)
An early approach toward graded identity and graded membership in set theory. (English) Zbl 1216.03059
Reviewer: Radko Mesiar (Bratislava)
Central fuzzy sets. (English) Zbl 1248.03070
Triangular norm based predicate fuzzy logics. (English) Zbl 1200.03020
Reviewer: Brunella Gerla (Varese)
Optimal triangular decompositions of matrices with entries from residuated lattices. (English) Zbl 1195.15011
Reviewer: Huberta Lausch (Grafing)
Filter Results by …
all
top 5
Author
- Vychodil, Vilém (9)
- Bělohlávek, Radim (6)
- Gerla, Giangiacomo (2)
- Novák, Vilém (2)
- Ansótegui, Carlos (1)
- Bartl, Eduard (1)
- Bofill, Miquel (1)
- Cintula, Petr (1)
- Durante, Fabrizio (1)
- Font, Josep Maria (1)
- Ghiselli Ricci, Roberto (1)
- Gottwald, Siegfried (1)
- Hájek, Petr (1)
- Konecny, Jan (1)
- Krupka, Michal (1)
- Manyà, Felip (1)
- Vaverka, Ondrej (1)
- Villaret, Mateu (1)
all
top 5
Serial
- Fuzzy Sets Syst. (7)
- Inf. Sci. (6)
- Int. J. Gen. Syst. (3)
- Int. J. Approx. Reasoning (2)
- J. Comput. Syst. Sci. (1)
- Stud. Log. (1)
- Arch. Math. Logic (1)
- Log. Log. Philos. (1)