-
An infinitary extension of MALL- Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 4 / s. 225 - 2331999CZYSTY TEKST
Luiz Carlos P.D. Pereira, Edward Hermann Haeusler, An infinitary extension of MALL-, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 4, s. 225 - 233
BIBTEX@Article{ authors = " Luiz Carlos P.D. Pereira, Edward Hermann Haeusler", title = "An infinitary extension of MALL-", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 4", pages = "225 - 233" }
-
NUL: Natural Deduction for Ultrafilter Logic Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 4 / s. 191 - 1992003CZYSTY TEKST
Christian J. Renteria, Edward Hermann Haeusler, Paulo A.S. Veloso, NUL: Natural Deduction for Ultrafilter Logic, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 4, s. 191 - 199
BIBTEX@Article{ authors = " Christian J. Renteria, Edward Hermann Haeusler, Paulo A.S. Veloso", title = "NUL: Natural Deduction for Ultrafilter Logic", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 4", pages = "191 - 199" }
-
A Natural Deduction System for CTL Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 4 / s. 231 - 2402002CZYSTY TEKST
Christian J. Renteria, Edward Hermann Haeusler, A Natural Deduction System for CTL, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 4, s. 231 - 240
BIBTEX@Article{ authors = " Christian J. Renteria, Edward Hermann Haeusler", title = "A Natural Deduction System for CTL", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 4", pages = "231 - 240" }
-
Completeness of an action logic for timed transition Systems Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 4 / s. 151 - 1592000CZYSTY TEKST
Fernando Naufel do Amaral, Edward Hermann Haeusler, Completeness of an action logic for timed transition Systems, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 4, s. 151 - 159
BIBTEX@Article{ authors = " Fernando Naufel do Amaral, Edward Hermann Haeusler", title = "Completeness of an action logic for timed transition Systems", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 4", pages = "151 - 159" }
