Kripke semantics for logic with BCK

MacCaull, Wendy

TYTUŁ ARTYKUŁU

Kripke semantics for logic with BCK

AUTORZY: Wendy MacCaull
TYTUŁ CZASOPISMA: Bulletin of the Section of Logic
WYDANIE: 1996 / Tom 25 / Numer 1
STRONY: 41 - 51
ROK: 1996
WYDAWCA: Wydawnictwo Uniwersytetu Łódzkiego
ISSN: 0138-0680

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

Zacytuj

CZYSTY TEKST

Wendy MacCaull, Kripke semantics for logic with BCK, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 1, s. 41 - 51

BIBTEX

Wendy MacCaull. Kripke semantics for logic with BCK. Bulletin of the Section of Logic, 25(1):41–51, 1996.

Pokaż kod BibTeX

@article{bazhum233831,
  author = {MacCaull, Wendy},
  title = {{Kripke semantics for logic with BCK}},
  journal = {Bulletin of the Section of Logic},
  year = {1996},
  volume = {25},
  number = {1},
  pages = {41--51},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/233831}
}