Carnielli, Walter.

Overview

Works:	2 works in 2 publications in 1 languages

Titles

Paraconsistent Logic: Consistency, Contradiction and Negation by: Coniglio, Marcelo Esteban.; SpringerLink (Online service); Carnielli, Walter. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Modalities and multimodalities = with the assistance and collaboration of Juliana Bueno-Soler / by: SpringerLink (Online service); Pizzi, Claudio.; Carnielli, Walter. (Language materials, printed)

Contradictions, from consistency to inconsistency by: Malinowski, Jacek.; Carnielli, Walter.; SpringerLink (Online service) (Language materials, printed)

Contradictions, from Consistency to Inconsistency by: Malinowski, Jacek.; SpringerLink (Online service); Carnielli, Walter. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Paraconsistent logic = consistency, contradiction and negation / by: Coniglio, Marcelo Esteban.; SpringerLink (Online service); Carnielli, Walter. (Language materials, printed)

Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems / by: Carnielli, Walter.; Sernadas, Cristina.; SpringerLink (Online service); Coniglio, Marcelo.; Gouveia, Paula.; Gabbay, Dov M. (Language materials, printed)

Subjects

Modality (Logic) Ontology. Mathematical logic. Logic. Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. Mathematics. Negation (Logic) History of Philosophy. Philosophy. Logic, Symbolic and mathematical. Epistemology. Contradiction.