Opening book details…
About this Mathematics article
Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form by Gerasimov, A. S. is a Mathematics article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Mathematics.
- Author
- Gerasimov, A. S.
- Publisher
- Allerton Press, Inc.; Allerton Press; Pleiades Publishing (ISSN 1055-1344)
- Published
- 2018
- Language
- EN
- Field
- Mathematics (Physical Sciences)