TYTUŁ

Zeszyty Naukowe Dolnośląskiej Wyższej Szkoły Przedsiębiorczości i Techniki. Studia z Nauk Społecznych

Udostępnij

WYDAWCA Uczelnia Jana Wyżykowskiego

ISSN 2082-7547

LICZBA WOLUMINÓW 7

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

Yehuda Schwartz George Tourlakis

CZYSTY TEKST
Yehuda Schwartz, 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 = " Yehuda Schwartz, 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

Karel Chvalovsky

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

BIBTEX
@Article{ authors = " Karel Chvalovsky", 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

Veronica Quiroga

CZYSTY TEKST
Veronica Quiroga, 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 = " Veronica Quiroga", 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

Lidia Typańska

CZYSTY TEKST
Lidia Typańska, 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 = " Lidia Typańska", 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

Sławomir Kost

CZYSTY TEKST
Sławomir Kost, 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 = " Sławomir Kost", 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" }