Paulo A.S. Veloso
12 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
On some misconceptions about ultrafilter logic Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 1-2 / s. 1 - 12ROK: 2000CZYSTY TEKSTBIBTEX
-
On ultrafilter logic and a missing axiom Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 1 / s. 17 - 26ROK: 1999CZYSTY TEKSTBIBTEX
-
Is fork set-theoretical? Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 1 / s. 20 - 30ROK: 1997CZYSTY TEKSTBIBTEX
-
A finitary relational algebra for classical first-order logic Opublikowano w: Bulletin of the Section of Logic 1991 / Tom 20 / Numer 2 / s. 52 - 62ROK: 1991CZYSTY TEKSTBIBTEX
-
Fork algebras are representable Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 2 / s. 64 - 75ROK: 1995CZYSTY TEKSTBIBTEX
-
On the power of ultrafilter logic Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 3 / s. 89 - 97ROK: 2000CZYSTY TEKSTBIBTEX
-
On eight independent equational axiom-atisations for fork algebras Opublikowano w: Bulletin of the Section of Logic 1998 / Tom 27 / Numer 3 / s. 117 - 129ROK: 1998CZYSTY TEKSTBIBTEX
-
Characterisations for fork algebras and their relational reducts Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 3 / s. 144 - 155ROK: 1997CZYSTY TEKSTBIBTEX
-
Why ultrafilters for almost all Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 4 / s. 183 - 193ROK: 1999CZYSTY TEKSTBIBTEX
-
NUL: Natural Deduction for Ultrafilter Logic Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 4 / s. 191 - 199ROK: 2003CZYSTY TEKSTBIBTEX
-
A finite axiomatization for fork algebras Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 4 / s. 193 - 200ROK: 1995CZYSTY TEKSTBIBTEX
-
On the independence of the axioms for fork algebras Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 4 / s. 197 - 209ROK: 1997CZYSTY TEKSTBIBTEX
