Applied Logic

Proof Theory for Fuzzy Logics by George Metcalfe, Nicola Olivetti, Dov M. Gabbay

Proof Theory for Fuzzy Logics

Applied Logic

George Metcalfe, Nicola Olivetti, Dov M. Gabbay

276 pages • missing pub info (editions)

nonfiction art computer science mathematics philosophy medium-paced
Goal-Directed Proof Theory by N. Olivetti, Dov M. Gabbay

Goal-Directed Proof Theory

Applied Logic

N. Olivetti, Dov M. Gabbay

268 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems by Marcelo Coniglio, Dov M. Gabbay, Walter Carnielli

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

Applied Logic

Marcelo Coniglio, Dov M. Gabbay, Walter Carnielli

602 pages • missing pub info (editions)

nonfiction mathematics philosophy medium-paced