A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC

Pynko, Alexej P.

TYTUŁ ARTYKUŁU

A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC

AUTORZY: Alexej P. Pynko
TYTUŁ CZASOPISMA: Bulletin of the Section of Logic
WYDANIE: 2003 / Tom 32 / Numer 3
STRONY: 137 - 146
ROK: 2003
WYDAWCA: Wydawnictwo Uniwersytetu Łódzkiego
ISSN: 0138-0680

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

Zacytuj

CZYSTY TEKST

Alexej P. Pynko, A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 137 - 146

BIBTEX

Alexej P. Pynko. A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC. Bulletin of the Section of Logic, 32(3):137–146, 2003.

Pokaż kod BibTeX

@article{bazhum241299,
  author = {Pynko, Alexej P.},
  title = {{A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC}},
  journal = {Bulletin of the Section of Logic},
  year = {2003},
  volume = {32},
  number = {3},
  pages = {137--146},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/241299}
}