Browsing by Author Carnielli W.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  
Showing results 1 to 13 of 13
PreviewIssue DateTitleAuthor(s)AdvisorType
2009Erratum To "the Ricean Objection: An Analogue Of Rice's Theorem For First-order Theories"Oliveira I.C.; Carnielli W.-Errata
2014The Proceedings Of The Xvi Ebl-16th Brazilian Logic Conference, 2011: A PrefaceCarnielli W.; de Freitas R.; Viana P.-Editorial
2006Surviving AbductionCarnielli W.-Artigo de evento
2007Unconventional Models Of Computation Through Non-standard Logic CircuitsAgudelo J.C.; Carnielli W.-Artigo de evento
2014Non-deterministic Semantics In Polynomial FormatCarnielli W.; Matulovic M.-Artigo de periódico
2014E-reasoning: Between Digital Humanities And E-scienceBueno-Soler J.; Carnielli W.-Artigo de evento
2014On The Way To A Wider Model Theory: Completeness Theorems For First-order Logics Of Formal InconsistencyCarnielli W.; Coniglio M.E.; Podiacki R.; Rodrigues T.-Artigo de periódico
2013Ewa Orlowska And Joanna Golinska-pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends In Logic, Vol. 33, 2011, Pp. Xvi+523, 113 Illus. Isbn: 978-94-007-0004-8 (hardcover) Euro 181,85, 978-94-007-0005-5 (ebook) Euro 159,99.Carnielli W.-Artigo de periódico
2013Special Issue On Multimodal Logics: A PrefaceCarnielli W.; Pizzi C.-Artigo de periódico
2005Polynomial Ring Calculus For Many-valued LogicsCarnielli W.-Artigo de evento
2005Quantum Algorithms, Paraconsistent Computation And Deutsch's ProblemAgudelo J.C.; Carnielli W.-Artigo de evento
2005Two's Company: The Humbug Of Many Logical ValuesCaleiro C.; Carnielli W.; Coniglio M.; Marcos J.-Capítulo de livro
2007Polynomizing: Logic Inference In Polynomial Format And The Legacy Of BooleCarnielli W.-Artigo de periódico