Paulo A.S. Veloso
12 artykuły w 1 czasopismach
-
On some misconceptions about ultrafilter logic Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 1-2 / s. 1 - 122000CZYSTY TEKST
Paulo A.S. Veloso, On some misconceptions about ultrafilter logic, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 1-2, s. 1 - 12
BIBTEX@Article{ authors = " Paulo A.S. Veloso", title = "On some misconceptions about ultrafilter logic", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 1-2", pages = "1 - 12" }
-
On ultrafilter logic and a missing axiom Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 1 / s. 17 - 261999CZYSTY TEKST
Paulo A.S. Veloso, On ultrafilter logic and a missing axiom, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 1, s. 17 - 26
BIBTEX@Article{ authors = " Paulo A.S. Veloso", title = "On ultrafilter logic and a missing axiom", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 1", pages = "17 - 26" }
-
Is fork set-theoretical? Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 1 / s. 20 - 301997CZYSTY TEKST
Paulo A.S. Veloso, Is fork set-theoretical?, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 1, s. 20 - 30
BIBTEX@Article{ authors = " Paulo A.S. Veloso", title = "Is fork set-theoretical?", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 1", pages = "20 - 30" }
-
A finitary relational algebra for classical first-order logic Opublikowano w: Bulletin of the Section of Logic 1991 / Tom 20 / Numer 2 / s. 52 - 621991CZYSTY TEKST
Armando M. Haeberer, Paulo A.S. Veloso, A finitary relational algebra for classical first-order logic, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 2, s. 52 - 62
BIBTEX@Article{ authors = " Armando M. Haeberer, Paulo A.S. Veloso", title = "A finitary relational algebra for classical first-order logic", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 2", pages = "52 - 62" }
-
Fork algebras are representable Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 2 / s. 64 - 751995CZYSTY TEKST
Gabriel A. Baum, Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso, Fork algebras are representable, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 64 - 75
BIBTEX@Article{ authors = " Gabriel A. Baum, Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso", title = "Fork algebras are representable", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "64 - 75" }
-
On the power of ultrafilter logic Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 3 / s. 89 - 972000CZYSTY TEKST
Paulo A.S. Veloso, On the power of ultrafilter logic, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 3, s. 89 - 97
BIBTEX@Article{ authors = " Paulo A.S. Veloso", title = "On the power of ultrafilter logic", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 3", pages = "89 - 97" }
-
On eight independent equational axiom-atisations for fork algebras Opublikowano w: Bulletin of the Section of Logic 1998 / Tom 27 / Numer 3 / s. 117 - 1291998CZYSTY TEKST
Paulo A.S. Veloso, On eight independent equational axiom-atisations for fork algebras, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 3, s. 117 - 129
BIBTEX@Article{ authors = " Paulo A.S. Veloso", title = "On eight independent equational axiom-atisations for fork algebras", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 3", pages = "117 - 129" }
-
Characterisations for fork algebras and their relational reducts Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 3 / s. 144 - 1551997CZYSTY TEKST
Paulo A.S. Veloso, Characterisations for fork algebras and their relational reducts, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 3, s. 144 - 155
BIBTEX@Article{ authors = " Paulo A.S. Veloso", title = "Characterisations for fork algebras and their relational reducts", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 3", pages = "144 - 155" }
-
Why ultrafilters for almost all Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 4 / s. 183 - 1931999CZYSTY TEKST
Paulo A.S. Veloso, Why ultrafilters for almost all, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 4, s. 183 - 193
BIBTEX@Article{ authors = " Paulo A.S. Veloso", title = "Why ultrafilters for almost all", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 4", pages = "183 - 193" }
-
NUL: Natural Deduction for Ultrafilter Logic Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 4 / s. 191 - 1992003CZYSTY TEKST
Edward Hermann Haeusler, Christian J. Renteria, 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 = " Edward Hermann Haeusler, Christian J. Renteria, 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 finite axiomatization for fork algebras Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 4 / s. 193 - 2001995CZYSTY TEKST
Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso, A finite axiomatization for fork algebras, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 4, s. 193 - 200
BIBTEX@Article{ authors = " Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso", title = "A finite axiomatization for fork algebras", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 4", pages = "193 - 200" }
-
On the independence of the axioms for fork algebras Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 4 / s. 197 - 2091997CZYSTY TEKST
Paulo A.S. Veloso, On the independence of the axioms for fork algebras, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 4, s. 197 - 209
BIBTEX@Article{ authors = " Paulo A.S. Veloso", title = "On the independence of the axioms for fork algebras", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 4", pages = "197 - 209" }
