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

DOI Zbl

We describe theorem provers for some decidable propositional substructural logics.
DOI : 10.2298/PIM0796055I
Classification : 03F05 03F52
Keywords: substructural logics, automated deduction 
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
@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

Cité par Sources :