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

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

On a Substructural Gentzen System, its Equivalent Variety Semantics and its External Deductive System

s. 125 - 134

Roma J. Adillon Ventura Verdu

CZYSTY TEKST
Roma J. Adillon, Ventura Verdu, On a Substructural Gentzen System, its Equivalent Variety Semantics and its External Deductive System, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 3, s. 125 - 134

BIBTEX
@Article{ authors = " Roma J. Adillon, Ventura Verdu", title = "On a Substructural Gentzen System, its Equivalent Variety Semantics and its External Deductive System", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 3", pages = "125 - 134" }
On Generalizations of Consequence Operation

s. 135 - 143

Jacek Malinowski

CZYSTY TEKST
Jacek Malinowski, On Generalizations of Consequence Operation, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 3, s. 135 - 143

BIBTEX
@Article{ authors = " Jacek Malinowski", title = "On Generalizations of Consequence Operation", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 3", pages = "135 - 143" }
Quasi-finitely Characterizable and Finitely Characterizable Dedekind Algebras

s. 145 - 157

CZYSTY TEKST
Quasi-finitely Characterizable and Finitely Characterizable Dedekind Algebras, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 3, s. 145 - 157

BIBTEX
@Article{ authors = "", title = "Quasi-finitely Characterizable and Finitely Characterizable Dedekind Algebras", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 3", pages = "145 - 157" }
Resolution Based Natural Deduction

s. 159 - 170

Andrzej Indrzejczak

CZYSTY TEKST
Andrzej Indrzejczak, Resolution Based Natural Deduction, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 3, s. 159 - 170

BIBTEX
@Article{ authors = " Andrzej Indrzejczak", title = "Resolution Based Natural Deduction", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 3", pages = "159 - 170" }
T-R, TE-R, TEc-R

s. 171 - 181

Eunsuk Yang

CZYSTY TEKST
Eunsuk Yang, T-R, TE-R, TEc-R, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 3, s. 171 - 181

BIBTEX
@Article{ authors = " Eunsuk Yang", title = "T-R, TE-R, TEc-R", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 3", pages = "171 - 181" }