TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

2019 / Tom 48 / Numer 2 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic : Natural Deduction and Normalisation

s. 81 - 97

Nils Kürbis

CZYSTY TEKST
Nils Kürbis, A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic : Natural Deduction and Normalisation , Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 2, s. 81 - 97

BIBTEX
@Article{ authors = " Nils Kürbis", title = "A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic : Natural Deduction and Normalisation ", journal = "Bulletin of the Section of Logic", issue = "2019 / Tom 48 / Numer 2", pages = "81 - 97" }
The Method of Socratic Proofs Meets Correspondence Analysis

s. 99 - 116

Dorota Leszczyńska-Jasion Yaroslav Petrukhin Vasilyi Shangin

CZYSTY TEKST
Dorota Leszczyńska-Jasion, Yaroslav Petrukhin, Vasilyi Shangin, The Method of Socratic Proofs Meets Correspondence Analysis , Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 2, s. 99 - 116

BIBTEX
@Article{ authors = " Dorota Leszczyńska-Jasion, Yaroslav Petrukhin, Vasilyi Shangin", title = "The Method of Socratic Proofs Meets Correspondence Analysis ", journal = "Bulletin of the Section of Logic", issue = "2019 / Tom 48 / Numer 2", pages = "99 - 116" }
Semi-Heyting Algebras and Identities of Associative Type

s. 117 - 135

Juan M. Cornejo Hanamantagouda P. Sankappanavar

CZYSTY TEKST
Juan M. Cornejo, Hanamantagouda P. Sankappanavar, Semi-Heyting Algebras and Identities of Associative Type , Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 2, s. 117 - 135

BIBTEX
@Article{ authors = " Juan M. Cornejo, Hanamantagouda P. Sankappanavar", title = "Semi-Heyting Algebras and Identities of Associative Type ", journal = "Bulletin of the Section of Logic", issue = "2019 / Tom 48 / Numer 2", pages = "117 - 135" }
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate

s. 137 - 158

Paolo Maffezioli Eugenio Orlandelli

CZYSTY TEKST
Paolo Maffezioli, Eugenio Orlandelli, Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate , Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 2, s. 137 - 158

BIBTEX
@Article{ authors = " Paolo Maffezioli, Eugenio Orlandelli", title = "Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate ", journal = "Bulletin of the Section of Logic", issue = "2019 / Tom 48 / Numer 2", pages = "137 - 158" }