Bulletin of the Section of Logic - Tom 46, Numer 1/2 (2017) - DML-PL - Yadda

Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Numer - szczegóły

Wydawca

Wydawnictwo Uniwersytetu Łódzkiego

Czasopismo

Bulletin of the Section of Logic

Rocznik

2017

Tom

46

Numer

1/2

Identyfikatory

Okładka

Zawartość wolumenu

1/2
- artykuł: Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics (Suzuki N.-Y.)
- artykuł: Four-Valued Logics BD and DM4: Expansions (Karpenko A. S.)
- artykuł: Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist) (Wójcicki R.)
- artykuł: Universality of Logic (Woleński J.)
- artykuł: On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1 (Pietruszczak A.)
- artykuł: Cut Elimination Theorem for Non-Commutative Hypersequent Calculus (Indrzejczak A.)
- artykuł: From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction (von Plato J.)
- artykuł: The Infinite-Valued Łukasiewicz Logic and Probability (Czelakowski J.)
- artykuł: Professor Grzegorz Malinowski in Honorem (Indrzejczak A., Ciuciura J.)
- artykuł: Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity (Buszkowski W.)

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.