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
Baldi P.
2016-01-01
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 in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
14. A Calculus For Rational Lukasiewicz logic and related systems.pdf
solo utenti autorizzati
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
302.86 kB
Formato
Adobe PDF
|
302.86 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.