TYTUŁ

Bulletin of the Section of Logic

Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680

LICZBA WOLUMINÓW 168

2017 / Tom 46 / Numer 1-2 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Preface : Professor Grzegorz Malinowski in Honorem

s. 1 - 10

Janusz Ciuciura Andrzej Indrzejczak

CZYSTY TEKST
Janusz Ciuciura, Andrzej Indrzejczak, Preface : Professor Grzegorz Malinowski in Honorem, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 1 - 10

BIBTEX
@Article{ authors = " Janusz Ciuciura, Andrzej Indrzejczak", title = "Preface : Professor Grzegorz Malinowski in Honorem", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 1-2", pages = "1 - 10" }
Three Doctrines of the Nature of Mathematics : Some Comments of a Knowledge Theorist

s. 11 - 20

Ryszard Wójcicki

CZYSTY TEKST
Ryszard Wójcicki, Three Doctrines of the Nature of Mathematics : Some Comments of a Knowledge Theorist, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 11 - 20

BIBTEX
@Article{ authors = " Ryszard Wójcicki", title = "Three Doctrines of the Nature of Mathematics : Some Comments of a Knowledge Theorist", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 1-2", pages = "11 - 20" }
Universality of Logic

s. 21 - 32

Jan Woleński

CZYSTY TEKST
Jan Woleński, Universality of Logic, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 21 - 32

BIBTEX
@Article{ authors = " Jan Woleński", title = "Universality of Logic", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 1-2", pages = "21 - 32" }
Four-Valued Logics BD and DM4: Expansions

s. 33 - 46

Alesander Karpenko

CZYSTY TEKST
Alesander Karpenko, Four-Valued Logics BD and DM4: Expansions, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 33 - 46

BIBTEX
@Article{ authors = " Alesander Karpenko", title = "Four-Valued Logics BD and DM4: Expansions", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 1-2", pages = "33 - 46" }
Infinite Valued Łukasiewicz Logic

s. 47 - 64

Janusz Czelakowski

CZYSTY TEKST
Janusz Czelakowski, Infinite Valued Łukasiewicz Logic, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 47 - 64

BIBTEX
@Article{ authors = " Janusz Czelakowski", title = "Infinite Valued Łukasiewicz Logic", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 1-2", pages = "47 - 64" }
From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction

s. 65 - 74

Jan von Plato

CZYSTY TEKST
Jan von Plato, From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 65 - 74

BIBTEX
@Article{ authors = " Jan von Plato", title = "From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 1-2", pages = "65 - 74" }
Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity

s. 75 - 92

Wojciech Buszkowski

CZYSTY TEKST
Wojciech Buszkowski, Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 75 - 92

BIBTEX
@Article{ authors = " Wojciech Buszkowski", title = "Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 1-2", pages = "75 - 92" }
Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics

s. 93 - 109

Nobu-Yuki Suzuki

CZYSTY TEKST
Nobu-Yuki Suzuki, Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 93 - 109

BIBTEX
@Article{ authors = " Nobu-Yuki Suzuki", title = "Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 1-2", pages = "93 - 109" }
On Theses Without Iterated Modal- ities of Modal Logics Between C1 and S5 : part 1

s. 110 - 132

Andrzej Pietruszczak

CZYSTY TEKST
Andrzej Pietruszczak, On Theses Without Iterated Modal- ities of Modal Logics Between C1 and S5 : part 1, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 110 - 132

BIBTEX
@Article{ authors = " Andrzej Pietruszczak", title = "On Theses Without Iterated Modal- ities of Modal Logics Between C1 and S5 : part 1", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 1-2", pages = "110 - 132" }
Cut Elimination Theorem for Non-Commutative Hypersequent Calculus

s. 133

Andrzej Indrzejczak

CZYSTY TEKST
Andrzej Indrzejczak, Cut Elimination Theorem for Non-Commutative Hypersequent Calculus, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 133

BIBTEX
@Article{ authors = " Andrzej Indrzejczak", title = "Cut Elimination Theorem for Non-Commutative Hypersequent Calculus", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 1-2", pages = "133" }