TYTUŁ
Bulletin of the Section of Logic
2019 / Tom 48 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic : Natural Deduction and Normalisations. 81 - 97CZYSTY TEKSTBIBTEX
-
The Method of Socratic Proofs Meets Correspondence Analysiss. 99 - 116CZYSTY TEKSTBIBTEX
-
Semi-Heyting Algebras and Identities of Associative Types. 117 - 135CZYSTY TEKSTBIBTEX
-
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicates. 137 - 158CZYSTY TEKSTBIBTEX
