Pages that link to "Item:Q2948587"
From MaRDI portal
The following pages link to The Differential Semantics of Łukasiewicz Syntactic Consequence (Q2948587):
Displaying 6 items.
- Interval MV-algebras and generalizations. (Q459040) (← links)
- Germinal theories in Łukasiewicz logic (Q515569) (← links)
- Forcing in Łukasiewicz predicate logic (Q935024) (← links)
- Beth definability and the Stone-Weierstrass theorem (Q2033009) (← links)
- AF-algebras with lattice-ordered \(K_0\): logic and computation (Q2084965) (← links)
- Consequence Relations with Real Truth Values (Q5020171) (← links)