Eugenio Orlandelli
2 artykuły w 1 czasopismach
-
Super-Strict Implications Opublikowano w: Bulletin of the Section of Logic 2021 / Tom 50 / Numer 1 / s. 1 - 342021CZYSTY TEKST
Guido Gherardi, Eugenio Orlandelli, Super-Strict Implications , Bulletin of the Section of Logic, 2021 / Tom 50 / Numer 1, s. 1 - 34
BIBTEX@Article{ authors = " Guido Gherardi, Eugenio Orlandelli", title = "Super-Strict Implications ", journal = "Bulletin of the Section of Logic", issue = "2021 / Tom 50 / Numer 1", pages = "1 - 34" }
-
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate Opublikowano w: Bulletin of the Section of Logic 2019 / Tom 48 / Numer 2 / s. 137 - 1582019CZYSTY 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" }
