TYTUŁ ARTYKUŁU

Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus

AUTORZY
Andrzej Indrzejczak
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2016 / Tom 45 / Numer 2
STRONY
125 - 140
ROK
2016
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

Pełny tekst tego artykułu nie jest dostępny w BazHum.

Zacytuj

CZYSTY TEKST

Andrzej Indrzejczak, Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 2, s. 125 - 140

BIBTEX

Andrzej Indrzejczak. Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus. Bulletin of the Section of Logic, 45(2):125–140, 2016.

Pokaż kod BibTeX 
@article{bazhum245735,
  author = {Indrzejczak, Andrzej},
  title = {{Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus}},
  journal = {Bulletin of the Section of Logic},
  year = {2016},
  volume = {45},
  number = {2},
  pages = {125--140},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/245735}
}