Search Results - Carnielli, Walter

Walter Carnielli

Walter Carnielli in Berkeley in 1984 Walter Alexandre Carnielli (born 11 January 1952 in Campinas, Brazil) is a Brazilian mathematician, logician, and philosopher, who works as a full professor of Logic at the State University of Campinas. After obtaining his Bachelor and M.Sc. degrees in mathematics at the State University of Campinas, he also obtained his Ph.D. in 1984 there under the supervision of Newton da Costa; subsequently, he worked as a post-doc at the University of California at Berkeley, following an invitation by Leon Henkin. Provided by Wikipedia
  • Showing 1 – 17 results of 17
Filter by
  1. 1
    Cover Image

    Analysis and synthesis of logics: how to cut and paste reasoning systems
    by Carnielli, Walter Alexandre 1952-, Coniglio, Marcelo Esteban, Gabbay, Dov M. 1945-, Gouveia, Paula, Sernadas, Cristina

    Published 2008
    Read online
    Electronic eBook


    Saved in:
  2. 2
    Cover Image

    Computability: computable functions, logic, and the foundations of mathematics
    by Epstein, Richard L. 1947-, Carnielli, Walter Alexandre 1952-, Epstein, Richard L. 1947-

    Published 2000
    Book


    Saved in:
  3. 3
    Cover Image

    Modalities and multimodalities
    by Carnielli, Walter Alexandre 1952-, Pizzi, Claudio 1944-

    Published 2008
    Table of contents
    Order via interlibrary loan
    Book


    Saved in:
  4. 4
    Cover Image

    Systematization of finite many-valued logics through the method of tableaux
    by Carnielli, Walter Alexandre 1952-

    Published 1985
    Order via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

    Polarized partition relations of higher dimension
    by Carnielli, Walter Alexandre 1952-, Prisco, Carlos A. di

    Published 1988
    Order via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

    The problem of quantificational completeness and the characterization of all perfect quantifiers in 3-valued logics
    by Carnielli, Walter Alexandre 1952-

    Published 1985
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

    On covering and coloring problems for rook domains
    by Carnielli, Walter Alexandre 1952-

    Published 1985
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    Paraconsistent Logic: Consistency, Contradiction and Negation
    by Carnielli, Walter Alexandre 1952-, Coniglio, Marcelo Esteban

    Published 2016
    Order via interlibrary loan
    Electronic eBook


    Saved in:
  9. 9
    Cover Image

    The dialogical approach to paraconsistency
    by Rahman, Shahid 1956-, Carnielli, Walter

    Published 1998
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

    Paraconsistent logic: consistency, contradiction and negation
    by Carnielli, Walter Alexandre 1952-, Coniglio, Marcelo Esteban

    Published 2016
    Table of contents
    Order via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

    Modalities and Multimodalities: with the assistance and collaboration of Juliana Bueno-Soler
    by Carnielli, Walter Alexandre 1952-, Pizzi, Claudio 1944-

    Published 2009
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

    Modalità e multimodalità
    by Carnielli, Walter Alexandre 1952-, Pizzi, Claudio

    Published 2001
    Order via interlibrary loan
    Book


    Saved in:
  13. 13
    Cover Image

    Computability: computable functions, logic, and the foundations of mathematics
    by Epstein, Richard L. 1947-, Carnielli, Walter Alexandre 1952-

    Published 1989
    Order via interlibrary loan
    Book


    Saved in:
  14. 14
    Cover Image

    Contradictions, from consistency to inconsistency

    Published 2018
    Other Authors: “…Carnielli, Walter Alexandre 1952-…”
    Read online
    Electronic eBook


    Saved in:
  15. 15
    Cover Image

    Contradictions, from consistency to inconsistency

    Published 2018
    Other Authors: “…Carnielli, Walter Alexandre 1952-…”
    Order via interlibrary loan
    Book


    Saved in:
  16. 16
    Cover Image

    The significance of the new logic
    by Quine, W. V. 1908-2000

    Published 2020
    Other Authors: “…Carnielli, Walter Alexandre 1952-…”
    Order via interlibrary loan
    Electronic eBook


    Saved in:
  17. 17
    Cover Image

    The significance of the new logic
    by Quine, W. V. 1908-2000

    Published 2018
    Other Authors: “…Carnielli, Walter Alexandre 1952-…”
    Table of contents
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: