Home Advanced Search

Advanced Search - Page 1

Analysis and Synthesis of Logics - How to Cut and Paste Reasoning Systems
  • PDF
  • English
  • Year: 2008
  • Author: Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
Analysis and synthesis of logics: How to cut and paste reasoning systems
  • PDF
  • English
  • Year: 2008
  • Author: Gouveia, Paula; Coniglio, Marcelo; Sernadas, Cristina; Carnielli, Walter; Gabbay, Dov M
Paraconsistent Logic. Consistency, Contradiction and Negation
  • PDF
  • English
  • Year: 2016
  • Author: Walter Carnielli, Marcelo Esteban Coniglio
Paraconsistency: The Logical Way to the Inconsistent: Proceedings of the World Congress Held in São Paulo
  • DJVU
  • English
  • Year: 2002
  • Author: Walter A. Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano (Editors)
Paraconsistent Logic: Consistency, Contradiction and Negation
  • PDF
  • English
  • Year: 2016
  • Author: Walter Carnielli, Marcelo Esteban Coniglio (auth.)
Temporal logic: vol.2, mathematical foundations and computational aspects
  • DJVU
  • English
  • Year: 2000
  • Author: Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger
Meta-Logical Investigations in Argumentation Networks
  • PDF
  • English
  • Year: 2013
  • Author: Dov M. Gabbay
Semantical investigations in Heyting's intuitionistic logic
  • DJVU
  • English
  • Year: 1981
  • Author: Gabbay, Dov M
The Rise of Modern Logic
  • EPUB
  • English
  • Year: 2004
  • Author: Gabbay, Dov M
Logic: A History of its Central Concepts
  • MOBI
  • English
  • Year: 2012
  • Author: Gabbay, Dov M
search