-
Labeled Sequent Calculus for Orthologics. 217 - 232CZYSTY TEKST
Tomoaki Kawano, Labeled Sequent Calculus for Orthologic , Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 4, s. 217 - 232
BIBTEX@Article{ authors = " Tomoaki Kawano", title = "Labeled Sequent Calculus for Orthologic ", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 4", pages = "217 - 232" }
-
On the Definability of Leśniewski's Copula 'is' in Some Onthology-Like Theoriess. 233 - 263CZYSTY TEKST
Marcin Łyczak, Andrzej Pietruszczak, On the Definability of Leśniewski's Copula 'is' in Some Onthology-Like Theories , Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 4, s. 233 - 263
BIBTEX@Article{ authors = " Marcin Łyczak, Andrzej Pietruszczak", title = "On the Definability of Leśniewski's Copula 'is' in Some Onthology-Like Theories ", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 4", pages = "233 - 263" }
-
Rule-Generation Theorem and Its Applicationss. 265 - 281CZYSTY TEKST
Andrzej Indrzejczak, Rule-Generation Theorem and Its Applications , Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 4, s. 265 - 281
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Rule-Generation Theorem and Its Applications ", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 4", pages = "265 - 281" }
-
On Injective MV-Moduless. 283 - 298CZYSTY TEKST
S. Saidi Goraghani, R. A. Borzooei, On Injective MV-Modules , Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 4, s. 283 - 298
BIBTEX@Article{ authors = " S. Saidi Goraghani, R. A. Borzooei", title = "On Injective MV-Modules ", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 4", pages = "283 - 298" }
