TYTUŁ

Bulletin of the Section of Logic

Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680

LICZBA WOLUMINÓW 168

1991 / Tom 20 / Numer 1 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Interpolation theorem for intuitionistic S4

s. 2 - 6

Branislav R. Boricic

CZYSTY TEKST
Branislav R. Boricic, Interpolation theorem for intuitionistic S4, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 1, s. 2 - 6

BIBTEX
@Article{ authors = " Branislav R. Boricic", title = "Interpolation theorem for intuitionistic S4", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 1", pages = "2 - 6" }
Decision problem for finite equivalential algebras

s. 7 - 9

Paweł M. Idziak

CZYSTY TEKST
Paweł M. Idziak, Decision problem for finite equivalential algebras, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 1, s. 7 - 9

BIBTEX
@Article{ authors = " Paweł M. Idziak", title = "Decision problem for finite equivalential algebras", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 1", pages = "7 - 9" }
Counting formulae of propositional calculus

s. 10 - 13

Wojciech Suchoń

CZYSTY TEKST
Wojciech Suchoń, Counting formulae of propositional calculus, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 1, s. 10 - 13

BIBTEX
@Article{ authors = " Wojciech Suchoń", title = "Counting formulae of propositional calculus", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 1", pages = "10 - 13" }
Post relation algebra

s. 14 - 31

Ewa Orłowska

CZYSTY TEKST
Ewa Orłowska, Post relation algebra, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 1, s. 14 - 31

BIBTEX
@Article{ authors = " Ewa Orłowska", title = "Post relation algebra", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 1", pages = "14 - 31" }
Proving unprovability in some normal modal logic

s. 23 - 29

Valentin Goranko

CZYSTY TEKST
Valentin Goranko, Proving unprovability in some normal modal logic, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 1, s. 23 - 29

BIBTEX
@Article{ authors = " Valentin Goranko", title = "Proving unprovability in some normal modal logic", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 1", pages = "23 - 29" }
Correction to Common logic of binary connective has finite maximality degree

s. 30 - 35

C. Jahns Wolfgang Rautenberg

CZYSTY TEKST
C. Jahns, Wolfgang Rautenberg, Correction to Common logic of binary connective has finite maximality degree, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 1, s. 30 - 35

BIBTEX
@Article{ authors = " C. Jahns, Wolfgang Rautenberg", title = "Correction to Common logic of binary connective has finite maximality degree", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 1", pages = "30 - 35" }