Theorem Provers for Substructural Logics
Publications de l'Institut Mathématique (2007)
- Volume: 82(96), Issue: 102, page 55-78
- ISSN: 0350-1302
Access Full Article
top
How to cite
topMirjana Isaković Ilić. "Theorem Provers for Substructural Logics." Publications de l'Institut Mathématique 82(96).102 (2007): 55-78. <http://eudml.org/doc/258332>.
@article{MirjanaIsakovićIlić2007,
author = {Mirjana Isaković Ilić},
journal = {Publications de l'Institut Mathématique},
keywords = {BCK logic; relevant logic; intuitionistic logic; classical logic; sequent system; cut elimination; tableau system},
language = {eng},
number = {102},
pages = {55-78},
publisher = {Matematički institut SANU},
title = {Theorem Provers for Substructural Logics},
url = {http://eudml.org/doc/258332},
volume = {82(96)},
year = {2007},
}
TY - JOUR
AU - Mirjana Isaković Ilić
TI - Theorem Provers for Substructural Logics
JO - Publications de l'Institut Mathématique
PY - 2007
PB - Matematički institut SANU
VL - 82(96)
IS - 102
SP - 55
EP - 78
LA - eng
KW - BCK logic; relevant logic; intuitionistic logic; classical logic; sequent system; cut elimination; tableau system
UR - http://eudml.org/doc/258332
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.