NUL: Natural Deduction for Ultrafilter Logic

Haeusler, Edward Hermann; Renteria, Christian J.; Veloso, Paulo A.S.

TYTUŁ ARTYKUŁU

NUL: Natural Deduction for Ultrafilter Logic

AUTORZY: Edward Hermann Haeusler, Christian J. Renteria, Paulo A.S. Veloso
TYTUŁ CZASOPISMA: Bulletin of the Section of Logic
WYDANIE: 2003 / Tom 32 / Numer 4
STRONY: 191 - 199
ROK: 2003
WYDAWCA: Wydawnictwo Uniwersytetu Łódzkiego
ISSN: 0138-0680

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

Zacytuj

CZYSTY TEKST

Edward Hermann Haeusler, Christian J. Renteria, Paulo A.S. Veloso, NUL: Natural Deduction for Ultrafilter Logic, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 4, s. 191 - 199

BIBTEX

Edward Hermann Haeusler, Christian J. Renteria, and Paulo A.S. Veloso. NUL: Natural Deduction for Ultrafilter Logic. Bulletin of the Section of Logic, 32(4):191–199, 2003.

Pokaż kod BibTeX

@article{bazhum241328,
  author = {Haeusler, Edward Hermann and Renteria, Christian J. and Veloso, Paulo A.S.},
  title = {{NUL: Natural Deduction for Ultrafilter Logic}},
  journal = {Bulletin of the Section of Logic},
  year = {2003},
  volume = {32},
  number = {4},
  pages = {191--199},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/241328}
}