Cut-free sequent calculus for S5

Indrzejczak, Andrzej

TYTUŁ ARTYKUŁU

Cut-free sequent calculus for S5

AUTORZY: Andrzej Indrzejczak
TYTUŁ CZASOPISMA: Bulletin of the Section of Logic
WYDANIE: 1996 / Tom 25 / Numer 2
STRONY: 95 - 102
ROK: 1996
WYDAWCA: Wydawnictwo Uniwersytetu Łódzkiego
ISSN: 0138-0680

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

Zacytuj

CZYSTY TEKST

Andrzej Indrzejczak, Cut-free sequent calculus for S5, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 2, s. 95 - 102

BIBTEX

Andrzej Indrzejczak. Cut-free sequent calculus for S5. Bulletin of the Section of Logic, 25(2):95–102, 1996.

Pokaż kod BibTeX

@article{bazhum233927,
  author = {Indrzejczak, Andrzej},
  title = {{Cut-free sequent calculus for S5}},
  journal = {Bulletin of the Section of Logic},
  year = {1996},
  volume = {25},
  number = {2},
  pages = {95--102},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/233927}
}