logo
Undecidability without Arithmetization
Fuzzy Logic Programming and Fuzzy Control
Events in Branching Time
*-autonomous Lattices