Geodesic
Theorem Provers for Substructural Logics
Publications de l'Institut Mathématique, _N_S_82 (2007) no. 96, p. 55 Cet article a éte moissonné depuis la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Voir la notice de l'article

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 },
     year = {2007},
     volume = {_N_S_82},
     number = {96},
     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
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
%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

Cité par Sources :