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 4 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Beniaminov Algebras Revised: One More Algebraic Versionof First-order Logic

s. 140 - 145

Janis Cirulis

CZYSTY TEKST
Janis Cirulis, Beniaminov Algebras Revised: One More Algebraic Versionof First-order Logic, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 4, s. 140 - 145

BIBTEX
@Article{ authors = " Janis Cirulis", title = "Beniaminov Algebras Revised: One More Algebraic Versionof First-order Logic", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 4", pages = "140 - 145" }
On the Atomic Formula Property of Hartig's Refutation Calculus

s. 146 - 150

Takao Inoue

CZYSTY TEKST
Takao Inoue, On the Atomic Formula Property of Hartig's Refutation Calculus, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 4, s. 146 - 150

BIBTEX
@Article{ authors = " Takao Inoue", title = "On the Atomic Formula Property of Hartig's Refutation Calculus", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 4", pages = "146 - 150" }
Axiomatizations of Commutative and Nonassociative Ajdukiewicz Calculus

s. 151 - 157

Maciej Kandulski

CZYSTY TEKST
Maciej Kandulski, Axiomatizations of Commutative and Nonassociative Ajdukiewicz Calculus, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 4, s. 151 - 157

BIBTEX
@Article{ authors = " Maciej Kandulski", title = "Axiomatizations of Commutative and Nonassociative Ajdukiewicz Calculus", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 4", pages = "151 - 157" }
ω-consistency and Loeb's Theorem

s. 158 - 162

S.M. Kim

CZYSTY TEKST
S.M. Kim, ω-consistency and Loeb's Theorem, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 4, s. 158 - 162

BIBTEX
@Article{ authors = " S.M. Kim", title = "ω-consistency and Loeb's Theorem", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 4", pages = "158 - 162" }
From Ternary to Tetrary?

s. 163 - 167

Vladimir L. Vasyukov

CZYSTY TEKST
Vladimir L. Vasyukov, From Ternary to Tetrary?, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 4, s. 163 - 167

BIBTEX
@Article{ authors = " Vladimir L. Vasyukov", title = "From Ternary to Tetrary?", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 4", pages = "163 - 167" }
A Note the Logical Dependence of Simple Quantifiers

s. 168 - 172

R. Zuber

CZYSTY TEKST
R. Zuber, A Note the Logical Dependence of Simple Quantifiers, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 4, s. 168 - 172

BIBTEX
@Article{ authors = " R. Zuber", title = "A Note the Logical Dependence of Simple Quantifiers", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 4", pages = "168 - 172" }
Natural Deduction System for Tense Logics

s. 173

Andrzej Indrzejczak

CZYSTY TEKST
Andrzej Indrzejczak, Natural Deduction System for Tense Logics, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 4, s. 173

BIBTEX
@Article{ authors = " Andrzej Indrzejczak", title = "Natural Deduction System for Tense Logics", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 4", pages = "173" }