TYTUŁ ARTYKUŁU

Proof tableau formulations of some first-order relevant ortho-logics

AUTORZY
Nuel D. Belnap, Michael A. McRobbie
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
1984 / Tom 13 / Numer 4
STRONY
233 - 239
ROK
1984
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Nuel D. Belnap, Michael A. McRobbie, Proof tableau formulations of some first-order relevant ortho-logics, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 233 - 239

BIBTEX

Nuel D. Belnap and Michael A. McRobbie. Proof tableau formulations of some first-order relevant ortho-logics. Bulletin of the Section of Logic, 13(4):233–239, 1984.

Pokaż kod BibTeX 
@article{bazhum221373,
  author = {Belnap, Nuel D. and McRobbie, Michael A.},
  title = {{Proof tableau formulations of some first-order relevant ortho-logics}},
  journal = {Bulletin of the Section of Logic},
  year = {1984},
  volume = {13},
  number = {4},
  pages = {233--239},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/221373}
}