Bulletin of the Section of Logic - Tom 45, Numer 2 (2016) - 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

2016

Tom

45

Numer

2

Identyfikatory

Okładka

Zawartość wolumenu

2
- artykuł: A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4 (Robles G., López S. M., Blanco J. M., Recio M. M., Paradela J. R.)
- artykuł: Axiomatization of a Basic Logic of Logical Bilattices (Takano M.)
- artykuł: Quasiorders, Tolerance Relations and Corresponding “Partitions” (Nowak M.)
- artykuł: Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus (Indrzejczak A.)
- artykuł: Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions (Voutsadakis 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ć.