Geodesic
Theorem Provers for Substructural Logics
Publications de l'Institut Mathématique, _N_S_82 (2007) no. 96, p. 55 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

We describe theorem provers for some decidable propositional substructural logics.
DOI : 10.2298/PIM0796055I
Classification : 03F05 03F52
Keywords: substructural logics, automated deduction 
@article{10_2298_PIM0796055I,
     author = {Mirjana Isakovi\'c Ili\'c},
     title = {Theorem {Provers} for {Substructural} {Logics}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {55 },
     publisher = {mathdoc},
     volume = {_N_S_82},
     number = {96},
     year = {2007},
     doi = {10.2298/PIM0796055I},
     zbl = {1199.03003},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.2298/PIM0796055I/}
}
TY  - JOUR
AU  - Mirjana Isaković Ilić
TI  - Theorem Provers for Substructural Logics
JO  - Publications de l'Institut Mathématique
PY  - 2007
SP  - 55 
VL  - _N_S_82
IS  - 96
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.2298/PIM0796055I/
DO  - 10.2298/PIM0796055I
LA  - en
ID  - 10_2298_PIM0796055I
ER  - 
%0 Journal Article
%A Mirjana Isaković Ilić
%T Theorem Provers for Substructural Logics
%J Publications de l'Institut Mathématique
%D 2007
%P 55 
%V _N_S_82
%N 96
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.2298/PIM0796055I/
%R 10.2298/PIM0796055I
%G en
%F 10_2298_PIM0796055I
Mirjana Isaković Ilić. Theorem Provers for Substructural Logics. Publications de l'Institut Mathématique, _N_S_82 (2007) no. 96, p. 55 . doi : 10.2298/PIM0796055I. http://geodesic.mathdoc.fr/articles/10.2298/PIM0796055I/

Cité par Sources :