EMIS ELibM Electronic Journals Publications de l'Institut Mathématique, Nouvelle Série
Vol. 82(96), pp. 55–78 (2007)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

Pick a mirror

 		 

THEOREM PROVERS FOR SUBSTRUCTURAL LOGICS

Mirjana Isakovic Ilic

Sumarski fakultet, Kneza Viseslava 1, 11000 Beograd, Serbia

Abstract: We describe theorem provers for some decidable propositional substructural logics.

Keywords: substructural logics; automated deduction

Classification (MSC2000): 03F05; 03F52

Full text of the article: (for faster download, first choose a mirror)

Electronic fulltext finalized on: 20 Feb 2008. This page was last modified: 26 Feb 2008.

© 2008 Mathematical Institute of the Serbian Academy of Science and Arts
© 2008 ELibM and FIZ Karlsruhe / Zentralblatt MATH for the EMIS Electronic Edition