Pages that link to "Item:Q5716213"
From MaRDI portal
The following pages link to Łukasiewicz Logic: From Proof Systems To Logic Programming (Q5716213):
Displaying 6 items.
- A way to interpret Łukasiewicz logic and basic logic (Q1005968) (← links)
- Review of ``Protoalgebraic logics'' by J. Czelakowski (Q1422455) (← links)
- New complexity results for Łukasiewicz logic (Q2317509) (← links)
- Labelled Calculi for Łukasiewicz Logics (Q3511458) (← links)
- On Metric Temporal Łukasiewicz Logic (Q4982626) (← links)
- (Q5609336) (← links)