The following pages link to (Q3837739):
Displaying 6 items.
- The complexity of McNaughton functions of one variable (Q1271879) (← links)
- Resolution and model building in the infinite-valued calculus of Łukasiewicz (Q1276262) (← links)
- Geometry of Robinson consistency in Łukasiewicz logic (Q2370369) (← links)
- (Q3421450) (← links)
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview (Q5425998) (← links)
- Searching games with errors -- fifty years of coping with liars (Q5958303) (← links)
