TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

1994 / Tom 23 / Numer 2 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Decision problems for equational theories of relation algebras

s. 47 - 52

Hajnal Andreka Steven Givant Istvan Nemeti

CZYSTY TEKST
Hajnal Andreka, Steven Givant, Istvan Nemeti, Decision problems for equational theories of relation algebras, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 2, s. 47 - 52

BIBTEX
@Article{ authors = " Hajnal Andreka, Steven Givant, Istvan Nemeti", title = "Decision problems for equational theories of relation algebras", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 2", pages = "47 - 52" }
Stoic ``Undemonstrables'' and indirect-deduction theorems

s. 53 - 60

Grzegorz Bryll Zofia Kostrzycka

CZYSTY TEKST
Grzegorz Bryll, Zofia Kostrzycka, Stoic ``Undemonstrables'' and indirect-deduction theorems, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 2, s. 53 - 60

BIBTEX
@Article{ authors = " Grzegorz Bryll, Zofia Kostrzycka", title = "Stoic ``Undemonstrables'' and indirect-deduction theorems", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 2", pages = "53 - 60" }
Classical versions of BCI, BCK and BCIW logics

s. 61 - 65

John K. Slaney Martin W. Bunder

CZYSTY TEKST
John K. Slaney, Martin W. Bunder, Classical versions of BCI, BCK and BCIW logics, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 2, s. 61 - 65

BIBTEX
@Article{ authors = " John K. Slaney, Martin W. Bunder", title = "Classical versions of BCI, BCK and BCIW logics", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 2", pages = "61 - 65" }
On finitizing first order logic

s. 66 - 79

Ildiko Sain

CZYSTY TEKST
Ildiko Sain, On finitizing first order logic, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 2, s. 66 - 79

BIBTEX
@Article{ authors = " Ildiko Sain", title = "On finitizing first order logic", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 2", pages = "66 - 79" }
An adequate matrix tor the ``And Next'' calculus of G. H. von Wright

s. 80 - 92

Józef Wajszczyk

CZYSTY TEKST
Józef Wajszczyk, An adequate matrix tor the ``And Next'' calculus of G. H. von Wright, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 2, s. 80 - 92

BIBTEX
@Article{ authors = " Józef Wajszczyk", title = "An adequate matrix tor the ``And Next'' calculus of G. H. von Wright", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 2", pages = "80 - 92" }