Languages
Carnielli, Walter.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Paraconsistent logic = consistency, contradiction and negation /
by:
Carnielli, Walter.; Coniglio, Marcelo Esteban.; SpringerLink (Online service)
(Electronic resources)
Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems /
by:
Coniglio, Marcelo.; Gabbay, Dov M.; Gouveia, Paula.; Sernadas, Cristina.; SpringerLink (Online service); Carnielli, Walter.
(Language materials, printed)
Modalities and multimodalities = with the assistance and collaboration of Juliana Bueno-Soler /
by:
Pizzi, Claudio.; SpringerLink (Online service); Carnielli, Walter.
(Language materials, printed)
Model-based reasoning in science and technology = abduction, logic, and computational discovery /
by:
Carnielli, Walter.; Magnani, Lorenzo.; Pizzi, Claudio.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Philosophy.
Logic, Symbolic and mathematical.
Artificial Intelligence (incl. Robotics)
Mathematics.
Negation (Logic)
Model-based reasoning
Computational Intelligence.
Epistemology.
Modality (Logic)
Engineering.
Cognitive Psychology.
History of Philosophy.