Bulletin of the Section of Logic
Tom 46 ( 2017), Nr 1-2

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Zaznaczone:

Preface : Professor Grzegorz Malinowski in Honorem

Andrzej Indrzejczak Janusz Ciuciura
Three Doctrines of the Nature of Mathematics : Some Comments of a Knowledge Theorist

Ryszard Wójcicki
Universality of Logic

Jan Woleński
Four-Valued Logics BD and DM4: Expansions

Alesander Karpenko
Infinite Valued Łukasiewicz Logic

Janusz Czelakowski
From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction

Jan von Plato
Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity

Wojciech Buszkowski
Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics

Nobu-Yuki Suzuki
On Theses Without Iterated Modal- ities of Modal Logics Between C1 and S5 : part 1

Andrzej Pietruszczak
Cut Elimination Theorem for Non-Commutative Hypersequent Calculus

Andrzej Indrzejczak

Muzeum Historii
Polski w Warszawie

Materiały zamieszczone na stronie są dostępna na licencji CC BY-SA
Projekt graficzny serwisu: Veshch