Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

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.

WarningThere is a more recent version of this item available.

Full text not available from this repository.


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

Available Versions of this Item

Repository Staff Only: item control page