TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

2013 / Tom 42 / Numer 3-4 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

A Proof Theoretic Tool for First-Order Modal Logic

s. 93 - 110

George Tourlakis

CZYSTY TEKST
George Tourlakis, A Proof Theoretic Tool for First-Order Modal Logic, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 93 - 110

BIBTEX
@Article{ authors = " George Tourlakis", title = "A Proof Theoretic Tool for First-Order Modal Logic", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "93 - 110" }
Note on D-Completeness and Prelinearity

s. 111 - 118

CZYSTY TEKST
Note on D-Completeness and Prelinearity, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 111 - 118

BIBTEX
@Article{ authors = "", title = "Note on D-Completeness and Prelinearity", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "111 - 118" }
An Alternative Definition of F-Structures for the logic C1

s. 119 - 134

CZYSTY TEKST
An Alternative Definition of F-Structures for the logic C1, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 119 - 134

BIBTEX
@Article{ authors = "", title = "An Alternative Definition of F-Structures for the logic C1", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "119 - 134" }
Mereological Fusion as an Upper Bound

s. 135 - 150

Rafał Gruszczyński

CZYSTY TEKST
Rafał Gruszczyński, Mereological Fusion as an Upper Bound, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 135 - 150

BIBTEX
@Article{ authors = " Rafał Gruszczyński", title = "Mereological Fusion as an Upper Bound", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "135 - 150" }
Bisimulation Reducts of First-Order Kripke Models

s. 151 - 160

Tomasz Połacik

CZYSTY TEKST
Tomasz Połacik, Bisimulation Reducts of First-Order Kripke Models, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 151 - 160

BIBTEX
@Article{ authors = " Tomasz Połacik", title = "Bisimulation Reducts of First-Order Kripke Models", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "151 - 160" }
A Note on Post-complete Extensions of a Logic of Values of A. Ivin

s. 161 - 168

CZYSTY TEKST
A Note on Post-complete Extensions of a Logic of Values of A. Ivin, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 161 - 168

BIBTEX
@Article{ authors = "", title = "A Note on Post-complete Extensions of a Logic of Values of A. Ivin", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "161 - 168" }
Non-Adjunctive Discursive Logic

s. 169 - 182

Janusz Ciuciura

CZYSTY TEKST
Janusz Ciuciura, Non-Adjunctive Discursive Logic, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 169 - 182

BIBTEX
@Article{ authors = " Janusz Ciuciura", title = "Non-Adjunctive Discursive Logic", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "169 - 182" }
Countable Frames for Bimodal Logics S5 ⊗ S5 and Grz.3⊗ Grz

s. 183 - 198

CZYSTY TEKST
Countable Frames for Bimodal Logics S5 ⊗ S5 and Grz.3⊗ Grz, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 183 - 198

BIBTEX
@Article{ authors = "", title = "Countable Frames for Bimodal Logics S5 ⊗ S5 and Grz.3⊗ Grz", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "183 - 198" }