The following pages link to (Q4836220):
Displaying 7 items.
- An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz (Q677079) (← links)
- The completeness of the factor semantics for Łukasiewicz's infinite- valued logics (Q1208120) (← links)
- Geometrical methods in Wajsberg hoops (Q1858223) (← links)
- Many-valued logic and mixed integer programming (Q1924752) (← links)
- Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem. (Q2351509) (← links)
- A geometric proof of the completeness of the Łukasiewicz calculus (Q4842633) (← links)
- Sequent calculus and data fusion (Q5947552) (← links)