We introduce hypersequent calculi for Rational Łukasiewicz logic and for the logic KZ(π), an extension of Kleene-Zadeh logic, motivated by game semantic investigations.
A Calculus for Rational Łukasiewicz Logic and Related Systems / P. Baldi (COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE). - In: Information Processing and Management of Uncertainty in Knowledge-Based Systems / [a cura di] J.P. Carvalho, M.-J. Lesot, U. Kaymak, S. Vieira, B. Bouchon-Meunier, R.R. Yager. - [s.l] : Springer, 2016. - ISBN 978-3-319-40580-3. - pp. 136-147 (( Intervento presentato al 16. convegno International Conference tenutosi a Eindhoven nel 2016 [10.1007/978-3-319-40581-0_12].
A Calculus for Rational Łukasiewicz Logic and Related Systems
P. Baldi
2016
Abstract
We introduce hypersequent calculi for Rational Łukasiewicz logic and for the logic KZ(π), an extension of Kleene-Zadeh logic, motivated by game semantic investigations.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Baldi2016_Chapter_ACalculusForRationalŁukasiewic.pdf
solo utenti autorizzati
Tipologia:
Publisher's version/PDF
Dimensione
302.86 kB
Formato
Adobe PDF
|
302.86 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
