Paolo Maffezioli
2 artykuły w 2 czasopismach
-
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" }
-
Proof theory of epistemic logic of programs Opublikowano w: Logic and Logical Philosophy 2014 / Tom 23 / Numer 3 / s. 301 - 3282014CZYSTY TEKST
Paolo Maffezioli, Alberto Naibo, Proof theory of epistemic logic of programs, Logic and Logical Philosophy, 2014 / Tom 23 / Numer 3, s. 301 - 328
BIBTEX@Article{ authors = " Paolo Maffezioli, Alberto Naibo", title = "Proof theory of epistemic logic of programs", journal = "Logic and Logical Philosophy", issue = "2014 / Tom 23 / Numer 3", pages = "301 - 328" }
