Bulletin of the Section of Logic - Tom 48, Numer 2 (2019) - DML-PL - Yadda

Numer - szczegóły

Wydawca

Wydawnictwo Uniwersytetu Łódzkiego

Czasopismo

Bulletin of the Section of Logic

Rocznik

2019

Tom

48

Numer

2

Identyfikatory

Okładka

Zawartość wolumenu

2
- artykuł: Semi-Heyting Algebras and Identities of Associative Type (Cornejo J. M., Sankappanavar H. P.)
- artykuł: A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation (Kürbis N.), s. 81-97
- artykuł: The Method of Socratic Proofs Meets Correspondence Analysis (Leszczyńska-Jasion D., Petrukhin Y., Shangin V.), s. 99-116
- artykuł: Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate (Maffezioli P., Orlandelli E.), s. 137-158

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