Found 6 Documents (Results 1–6)
On some varieties of MTL-algebras. (English) Zbl 1078.03051
Reviewer: Wiesław A. Dudek (Wrocław)
A non-arithmetical Gödel logic. (English) Zbl 1086.03018
Reviewer: Vilém Novák (Ostrava)
MSC:
03B52
Many-valued logic, partially, and abstraction in formal specification languages. (English) Zbl 1145.03309
Filter Results by …
all
top 5
Author
- Avron, Arnon (1)
- Esteva, Francesc (1)
- Georgescu, George (1)
- Gispert, Joan (1)
- Hähnle, Reiner (1)
- Hájek, Petr (1)
- Konikowska, Beata (1)
- Noguera, Carles (1)
- Orłowska, Ewa S. (1)
- Popescu, Andrei (1)
- Rewitzky, Ingrid (1)
Software
- JML (1)