Bulletin of the Section of Logic - Tom 44, Numer 3-4 (2015) - 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

2015

Tom

44

Numer

3-4

Identyfikatory

Okładka

Zawartość wolumenu

3-4
- artykuł: Simple Logics for Basic Algebras (Cı̅rulis J. n.)
- artykuł: On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames (Kostrzycka Z.)
- artykuł: Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics (Pynko A. P.)
- artykuł: A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics (Gao F., Tourlakis G.)
- artykuł: Tense Polyadic N × M-Valued Łukasiewicz–Moisil Algebras (Figallo A. V., Pelaitay G.)

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ć.