TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

2000 / Tom 29 / Numer 1-2 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

On some misconceptions about ultrafilter logic

s. 1 - 12

Paulo A.S. Veloso

CZYSTY TEKST
Paulo A.S. Veloso, On some misconceptions about ultrafilter logic, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 1-2, s. 1 - 12

BIBTEX
@Article{ authors = " Paulo A.S. Veloso", title = "On some misconceptions about ultrafilter logic", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 1-2", pages = "1 - 12" }
Implicative logics, sequential deductive systems and exponential multicategories

s. 13 - 25

Vladimir L. Vasyukov

CZYSTY TEKST
Vladimir L. Vasyukov, Implicative logics, sequential deductive systems and exponential multicategories, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 1-2, s. 13 - 25

BIBTEX
@Article{ authors = " Vladimir L. Vasyukov", title = "Implicative logics, sequential deductive systems and exponential multicategories", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 1-2", pages = "13 - 25" }
A remark on quasivarieties of modal algebras

s. 27 - 30

Tomasz Kowalski

CZYSTY TEKST
Tomasz Kowalski, A remark on quasivarieties of modal algebras, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 1-2, s. 27 - 30

BIBTEX
@Article{ authors = " Tomasz Kowalski", title = "A remark on quasivarieties of modal algebras", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 1-2", pages = "27 - 30" }
Proofs of tree identities

s. 31 - 41

Ewa Graczyńska

CZYSTY TEKST
Ewa Graczyńska, Proofs of tree identities, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 1-2, s. 31 - 41

BIBTEX
@Article{ authors = " Ewa Graczyńska", title = "Proofs of tree identities", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 1-2", pages = "31 - 41" }
A basic formal equational predicate logic - Part I

s. 43 - 56

George Tourlakis

CZYSTY TEKST
George Tourlakis, A basic formal equational predicate logic - Part I, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 1-2, s. 43 - 56

BIBTEX
@Article{ authors = " George Tourlakis", title = "A basic formal equational predicate logic - Part I", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 1-2", pages = "43 - 56" }
Intuitionistic discursive system (IDS)

s. 57 - 62

Janusz Ciuciura

CZYSTY TEKST
Janusz Ciuciura, Intuitionistic discursive system (IDS), Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 1-2, s. 57 - 62

BIBTEX
@Article{ authors = " Janusz Ciuciura", title = "Intuitionistic discursive system (IDS)", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 1-2", pages = "57 - 62" }
A note on relationship between the consequence operations Cn' and dCn

s. 63 - 67

Anna Gomolińska Justyna K. Myślińska

CZYSTY TEKST
Anna Gomolińska, Justyna K. Myślińska, A note on relationship between the consequence operations Cn' and dCn, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 1-2, s. 63 - 67

BIBTEX
@Article{ authors = " Anna Gomolińska, Justyna K. Myślińska", title = "A note on relationship between the consequence operations Cn' and dCn", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 1-2", pages = "63 - 67" }