Carnielli, Walter Some natural generalizations of the Collatz problem. (English) Zbl 1358.11046 Appl. Math. E-Notes 15, 207-215 (2015). MSC: 11B83 11B37 PDFBibTeX XMLCite \textit{W. Carnielli}, Appl. Math. E-Notes 15, 207--215 (2015; Zbl 1358.11046) Full Text: EMIS
Carnielli, Walter Paul Bernays and the eve of non-standard models in logic. (English) Zbl 1291.03008 Béziau, Jean-Yves (ed.), Universal logic: An anthology. From Paul Hertz to Dov Gabbay. Basel: Birkhäuser (ISBN 978-3-0346-0144-3/pbk; 978-3-0346-0145-0/ebook). Studies in Universal Logic, 33-41 (2012). MSC: 03A05 00A30 03-03 PDFBibTeX XMLCite \textit{W. Carnielli}, in: Universal logic: An anthology. From Paul Hertz to Dov Gabbay. Basel: Birkhäuser. 33--41 (2012; Zbl 1291.03008)
Carnielli, Walter The single-minded pursuit of consistency and its weakness. (English) Zbl 1256.03007 Stud. Log. 97, No. 1, 81-100 (2011). MSC: 03A05 03B45 03B53 PDFBibTeX XMLCite \textit{W. Carnielli}, Stud. Log. 97, No. 1, 81--100 (2011; Zbl 1256.03007) Full Text: DOI
Carnielli, W. Formal polynomials, heuristics and proofs in logic. (English) Zbl 1213.03077 Karpenko, A.S. (ed.), Логические исследования. 16. Moskva: Nauka (ISBN 978-5-98712-048-4/pbk). 280-294 (2010). MSC: 03G25 PDFBibTeX XMLCite \textit{W. Carnielli}, in: Logicheskie issledovaniya. 16. Moskva: Nauka. 280--294 (2010; Zbl 1213.03077)
Carnielli, Walter Surviving abduction. (English) Zbl 1108.03031 Log. J. IGPL 14, No. 2, 237-256 (2006). MSC: 03B53 03A05 03B35 68T27 PDFBibTeX XMLCite \textit{W. Carnielli}, Log. J. IGPL 14, No. 2, 237--256 (2006; Zbl 1108.03031) Full Text: DOI
Carnielli, Walter A. Possible-translations semantics for paraconsistent logics. (English) Zbl 1002.03525 Batens, Diderik (ed.) et al., Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30-August 2, 1997. Baldock: Research Studies Press. Stud. Log. Comput. 8, 149-163 (2000). MSC: 03B53 PDFBibTeX XMLCite \textit{W. A. Carnielli}, Stud. Log. Comput. 8, 149--163 (2000; Zbl 1002.03525)
Carnielli, Walter A. On sequents and tableaux for many-valued logics. (English) Zbl 0774.03006 J. Non-Classical Log. 8, No. 1, 59-76 (1991). Reviewer: A.Hoogewijs (Gent) MSC: 03B50 03F05 PDFBibTeX XMLCite \textit{W. A. Carnielli}, J. Non-Classical Log. 8, No. 1, 59--76 (1991; Zbl 0774.03006)
Epstein, Richard L. [Carnielli, Walter A.; D’Ottaviano, Itala M. L.; Krajewski, Stanisław; Maddux, Roger D.] The semantic foundations of logic. Volume 1: Propositional logics. With the assistance and collaboration of Walter A. Carnielli, Itala M. L. D’Ottaviano, Stanisław Krajewski, Roger D. Maddux. (English) Zbl 0699.03001 Nijhoff International Philosophy Series, 35. Dordrecht etc.: Kluwer Academic Publishers. xxii, 386 p. Dfl. 195.00; $ 99.00; £69.00 (1990). Reviewer: S.Gottwald MSC: 03-02 03-01 03Bxx 03B05 03B20 03B45 03B50 03A05 03B60 PDFBibTeX XMLCite \textit{R. L. Epstein}, The semantic foundations of logic. Volume 1: Propositional logics. With the assistance and collaboration of Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanisław Krajewski, Roger D. Maddux. Dordrecht etc.: Kluwer Academic Publishers (1990; Zbl 0699.03001)
Carnielli, Walter A. Hyper-rook domain inequalities. (English) Zbl 0692.05020 Stud. Appl. Math. 82, No. 1, 59-69 (1990). MSC: 05B40 PDFBibTeX XMLCite \textit{W. A. Carnielli}, Stud. Appl. Math. 82, No. 1, 59--69 (1990; Zbl 0692.05020) Full Text: DOI
Carnielli, Walter A. Methods of proof for relatedness and dependence logics. (English) Zbl 0651.03021 Rep. Math. Logic 21, 35-46 (1987). Reviewer: W.A.Carnielli MSC: 03B60 03F05 PDFBibTeX XMLCite \textit{W. A. Carnielli}, Rep. Math. Logic 21, 35--46 (1987; Zbl 0651.03021)
Carnielli, Walter A. Systematization of finite many-valued logics through the method of tableaux. (English) Zbl 0633.03008 J. Symb. Log. 52, 473-493 (1987). Reviewer: A.Hoogewijs MSC: 03B50 PDFBibTeX XMLCite \textit{W. A. Carnielli}, J. Symb. Log. 52, 473--493 (1987; Zbl 0633.03008) Full Text: DOI
Carnielli, Walter Alexandre The problem of quantificational completeness and the characterization of all perfect quantifiers in 3-valued logics. (English) Zbl 0591.03010 Z. Math. Logik Grundlagen Math. 33, 19-29 (1987). MSC: 03B50 PDFBibTeX XMLCite \textit{W. A. Carnielli}, Z. Math. Logik Grundlagen Math. 33, 19--29 (1987; Zbl 0591.03010) Full Text: DOI
Carnielli, Walter A. An algorithm for axiomatizing and theorem proving in finite many-valued propositional logics. (English) Zbl 0595.03015 Logique Anal., Nouv. Sér. 28, 363-368 (1985). Reviewer: G.E.Tseytlin MSC: 03B50 03B35 68T15 PDFBibTeX XMLCite \textit{W. A. Carnielli}, Log. Anal., Nouv. Sér. 28, 363--368 (1985; Zbl 0595.03015)
Carnielli, Walter Alexandre On covering and coloring problems for rook domains. (English) Zbl 0589.05029 Discrete Math. 57, 9-16 (1985). MSC: 05B40 05A05 PDFBibTeX XMLCite \textit{W. A. Carnielli}, Discrete Math. 57, 9--16 (1985; Zbl 0589.05029) Full Text: DOI
Carnielli, Walter Alexandre Some investigations on covering problems. (English) Zbl 0515.05004 Collect. Pap. dedic. to Prof. Edison Farah on the Occas. of his Retirement, Symp. Sao Paulo 1981, 127-134 (1982). MSC: 05A10 03B50 05B40 PDFBibTeX XML