TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

2019 / Tom 48 / Numer 4 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Semantical Proof of Subformula Property for the Model Logics K4.3, KD4.3, and S4.3

s. 245 - 257

Daishi Yazaki

CZYSTY TEKST
Daishi Yazaki, Semantical Proof of Subformula Property for the Model Logics K4.3, KD4.3, and S4.3 , Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 4, s. 245 - 257

BIBTEX
@Article{ authors = " Daishi Yazaki", title = "Semantical Proof of Subformula Property for the Model Logics K4.3, KD4.3, and S4.3 ", journal = "Bulletin of the Section of Logic", issue = "2019 / Tom 48 / Numer 4", pages = "245 - 257" }
An Investigation into Intuitionistic Logic with Identity

s. 259 - 283

Szymon Chlebowski Dorota Leszczyńska-Jasion

CZYSTY TEKST
Szymon Chlebowski, Dorota Leszczyńska-Jasion, An Investigation into Intuitionistic Logic with Identity , Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 4, s. 259 - 283

BIBTEX
@Article{ authors = " Szymon Chlebowski, Dorota Leszczyńska-Jasion", title = "An Investigation into Intuitionistic Logic with Identity ", journal = "Bulletin of the Section of Logic", issue = "2019 / Tom 48 / Numer 4", pages = "259 - 283" }
Many Faces of Lattice Tolerances

s. 285 - 298

Joanna Grygiel

CZYSTY TEKST
Joanna Grygiel, Many Faces of Lattice Tolerances, Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 4, s. 285 - 298

BIBTEX
@Article{ authors = " Joanna Grygiel", title = "Many Faces of Lattice Tolerances", journal = "Bulletin of the Section of Logic", issue = "2019 / Tom 48 / Numer 4", pages = "285 - 298" }
two Treatments of Definite Descriptions in Intuitionist Negative Free Logic

s. 299 - 317

Nils Kürbis

CZYSTY TEKST
Nils Kürbis, two Treatments of Definite Descriptions in Intuitionist Negative Free Logic , Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 4, s. 299 - 317

BIBTEX
@Article{ authors = " Nils Kürbis", title = "two Treatments of Definite Descriptions in Intuitionist Negative Free Logic ", journal = "Bulletin of the Section of Logic", issue = "2019 / Tom 48 / Numer 4", pages = "299 - 317" }
Disjunctive Multiple-Conclusion Consequence Relations

s. 319 - 328

Marek Nowak

CZYSTY TEKST
Marek Nowak, Disjunctive Multiple-Conclusion Consequence Relations , Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 4, s. 319 - 328

BIBTEX
@Article{ authors = " Marek Nowak", title = "Disjunctive Multiple-Conclusion Consequence Relations ", journal = "Bulletin of the Section of Logic", issue = "2019 / Tom 48 / Numer 4", pages = "319 - 328" }