TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

2002 / Tom 31 / Numer 1 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

An Algorithm for Finding Finite Axiomatization of Finite Intermediate Logics by Means of Jankov Formulas

s. 1 - 6

Eugeniusz Tomaszewski

CZYSTY TEKST
Eugeniusz Tomaszewski, An Algorithm for Finding Finite Axiomatization of Finite Intermediate Logics by Means of Jankov Formulas, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 1, s. 1 - 6

BIBTEX
@Article{ authors = " Eugeniusz Tomaszewski", title = "An Algorithm for Finding Finite Axiomatization of Finite Intermediate Logics by Means of Jankov Formulas", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 1", pages = "1 - 6" }
Completions of TV-> from H->

s. 7 - 14

Zachary Ernst

CZYSTY TEKST
Zachary Ernst, Completions of TV-> from H->, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 1, s. 7 - 14

BIBTEX
@Article{ authors = " Zachary Ernst", title = "Completions of TV-> from H->", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 1", pages = "7 - 14" }
Labelled Analytic Tableaux for S4.3

s. 15 - 26

Andrzej Indrzejczak

CZYSTY TEKST
Andrzej Indrzejczak, Labelled Analytic Tableaux for S4.3, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 1, s. 15 - 26

BIBTEX
@Article{ authors = " Andrzej Indrzejczak", title = "Labelled Analytic Tableaux for S4.3", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 1", pages = "15 - 26" }
On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge

s. 27 - 36

CZYSTY TEKST
On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 1, s. 27 - 36

BIBTEX
@Article{ authors = "", title = "On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 1", pages = "27 - 36" }
On the Porphyrian Tree Structure and an Operation of Determination

s. 37 - 46

Janusz Kaczmarek

CZYSTY TEKST
Janusz Kaczmarek, On the Porphyrian Tree Structure and an Operation of Determination, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 1, s. 37 - 46

BIBTEX
@Article{ authors = " Janusz Kaczmarek", title = "On the Porphyrian Tree Structure and an Operation of Determination", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 1", pages = "37 - 46" }
Is Metaphor an Illocutionary Act?

s. 47 - 64

Dorota Rybarkiewicz

CZYSTY TEKST
Dorota Rybarkiewicz, Is Metaphor an Illocutionary Act?, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 1, s. 47 - 64

BIBTEX
@Article{ authors = " Dorota Rybarkiewicz", title = "Is Metaphor an Illocutionary Act?", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 1", pages = "47 - 64" }