( en | de | ru )

 

Disambiguation of "Carnielli, Walter Alexandre"

Author of the publication

copydeleteadd this publication to your clipboard
Ultrafilter Logic and Generic Reasoning.

, and . Kurt Gödel Colloquium, volume 1289 of Lecture Notes in Computer Science, page 34-53. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexandre Varnek

Alexandre Darmoise

Alexandre Martins

Alexandre Alexeev

Alexandre Nekrassov

 

Other publications of authors with the same name

The Dialogical Approach to Paraconsistency., and . Synthese, 125 (1-2): 201-232 (2000)On Discourses Addressed by Infidel Logicians., and . Paraconsistency: Logic and Applications, volume 26 of Logic, Epistemology, and the Unity of Science, Springer, (2013)Maximal weakly-intuitionistic logics., and . Stud Logica, 55 (1): 181-203 (1995)Fuzzy fusion operators to combine results of complementary medical image segmentation techniques., , , , and . J. Electronic Imaging, 12 (3): 379-389 (2003)Unconventional Models of Computation Through Non-standard Logic Circuits., and . UC, volume 4618 of Lecture Notes in Computer Science, page 29-40. Springer, (2007)K2, 2-K1, n and K2, n-K2, n bipartite Ramsey numbers., and . Discret. Math., 223 (1-3): 83-92 (2000)An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference., , and . Logic Journal of the IGPL, 13 (1): 1-3 (2005)Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning., and . Log. J. IGPL, 20 (2): 477-485 (2012)Fraïssé's theorem for logics of formal inconsistency., and . Log. J. IGPL, 28 (5): 1060-1072 (2020)On covering and coloring problems for rook domains.. Discret. Math., 57 (1-2): 9-16 (1985)