A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic

Metclafe, George

TYTUŁ ARTYKUŁU

A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic

AUTORZY: George Metclafe
TYTUŁ CZASOPISMA: Bulletin of the Section of Logic
WYDANIE: 2009 / Tom 38 / Numer 1-2
STRONY: 5 - 11
ROK: 2009
WYDAWCA: Wydawnictwo Uniwersytetu Łódzkiego
ISSN: 0138-0680

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

Zacytuj

CZYSTY TEKST

George Metclafe, A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 5 - 11

BIBTEX

George Metclafe. A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic. Bulletin of the Section of Logic, 38(1-2):5–11, 2009.

Pokaż kod BibTeX

@article{bazhum243423,
  author = {Metclafe, George},
  title = {{A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic}},
  journal = {Bulletin of the Section of Logic},
  year = {2009},
  volume = {38},
  number = {1-2},
  pages = {5--11},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/243423}
}