TYTUŁ

Bulletin of the Section of Logic

Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680

LICZBA WOLUMINÓW 168

2020 / Tom 49 / Numer 3 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Proof Compression and NP versus PSPACE II

s. 213 - 230

Lew Gordeev Edward Hermann Haeusler

CZYSTY TEKST
Lew Gordeev, Edward Hermann Haeusler, Proof Compression and NP versus PSPACE II, Bulletin of the Section of Logic, 2020 / Tom 49 / Numer 3, s. 213 - 230

BIBTEX
@Article{ authors = " Lew Gordeev, Edward Hermann Haeusler", title = "Proof Compression and NP versus PSPACE II", journal = "Bulletin of the Section of Logic", issue = "2020 / Tom 49 / Numer 3", pages = "213 - 230" }
Empirical Negation, Co-Negation and the Contraposition Rule I : Semantical Investigation

s. 231 - 253

Satoru Niki

CZYSTY TEKST
Satoru Niki, Empirical Negation, Co-Negation and the Contraposition Rule I : Semantical Investigation , Bulletin of the Section of Logic, 2020 / Tom 49 / Numer 3, s. 231 - 253

BIBTEX
@Article{ authors = " Satoru Niki", title = "Empirical Negation, Co-Negation and the Contraposition Rule I : Semantical Investigation ", journal = "Bulletin of the Section of Logic", issue = "2020 / Tom 49 / Numer 3", pages = "231 - 253" }
New Modification of the Subformula Property for a Modal Logic

s. 255 - 268

Mitio Takano

CZYSTY TEKST
Mitio Takano, New Modification of the Subformula Property for a Modal Logic, Bulletin of the Section of Logic, 2020 / Tom 49 / Numer 3, s. 255 - 268

BIBTEX
@Article{ authors = " Mitio Takano", title = "New Modification of the Subformula Property for a Modal Logic", journal = "Bulletin of the Section of Logic", issue = "2020 / Tom 49 / Numer 3", pages = "255 - 268" }
Module Structure on Effect Algebras

s. 269 - 290

Rajab Ali Borzooei Simin Saidi Garaghani

CZYSTY TEKST
Rajab Ali Borzooei, Simin Saidi Garaghani, Module Structure on Effect Algebras , Bulletin of the Section of Logic, 2020 / Tom 49 / Numer 3, s. 269 - 290

BIBTEX
@Article{ authors = " Rajab Ali Borzooei, Simin Saidi Garaghani", title = "Module Structure on Effect Algebras ", journal = "Bulletin of the Section of Logic", issue = "2020 / Tom 49 / Numer 3", pages = "269 - 290" }
Equality Logic

s. 291 - 324

Shokoofeh Ghorbani

CZYSTY TEKST
Shokoofeh Ghorbani, Equality Logic, Bulletin of the Section of Logic, 2020 / Tom 49 / Numer 3, s. 291 - 324

BIBTEX
@Article{ authors = " Shokoofeh Ghorbani", title = "Equality Logic", journal = "Bulletin of the Section of Logic", issue = "2020 / Tom 49 / Numer 3", pages = "291 - 324" }