Search Results for Carnielli, Walter.

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

2025-01-03T22:39:15Z

Author Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: Electronic Resources
Availability Online Library~1

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler

2025-01-03T22:39:15Z

Author Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8590-1
Format: Electronic Resources
Availability Online Library~1

Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery

2025-01-03T22:39:15Z

Author Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15223-8
Format: Electronic Resources
Availability Online Library~1

Paraconsistency the logical way to the inconsistent : proceedings of the world congress held in Sô Paulo

2025-01-03T22:39:15Z

Author World Congress on Paraconsistency (2nd : 2000 : Sô Paulo, Brazil) Carnielli, Walter A. (Walter Alexandre) Coniglio, Marcelo E., 1963- D'Ottaviano, Itala M. L., 1944-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1