Analytic Sequent Calculi for Abelian and Lukasiewicz Logics

Gabbay, D. M. and Metcalfe, G. and Olivetti, N. (2002) Analytic Sequent Calculi for Abelian and Lukasiewicz Logics. In: Proceedings of Tableaux 2002.

This is the latest version of this item.

Full text not available from this repository.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	UNSPECIFIED
ID Code:	1052
Deposited By:	Professor Dov M. Gabbay
Deposited On:	09 Nov 2007 15:54
Last Modified:	09 Nov 2007 15:54

Available Versions of this Item

Analytic Sequent Calculi for Abelian and Lukasiewicz Logics. (deposited 09 Nov 2007 15:01)
- Analytic Sequent Calculi for Abelian and Lukasiewicz Logics. (deposited 09 Nov 2007 15:54) [Currently Displayed]

Repository Staff Only: item control page

Accessibility | Terms and Conditions | Last Modified 01 November 2007