Home Advanced Search

Advanced Search - Page 1

Goal-Directed Proof Theory
  • PDF
  • English
  • Year: 2000
  • Author: Gabbay D., Olivetti N.
Goal-Directed Proof Theory
  • PDF
  • English
  • Year: 2000
  • Author: Dov M. Gabbay, N. Olivetti, Nicola Olivetti
Proof Theory for Fuzzy Logics
  • PDF
  • English
  • Year: 2008
  • Author: George Metcalfe, Nicola Olivetti, Dov Gabbay
Proof Theory for Fuzzy Logics
  • PDF
  • English
  • Year: 2009
  • Author: George Metcalfe, Nicola Olivetti, Dov Gabbay
Proof Theory for Fuzzy Logics
  • PDF
  • English
  • Year: 2008
  • Author: George Metcalfe, Nicola Olivetti, Dov Gabbay
Proof Theory for Fuzzy Logics
  • PDF
  • English
  • Year: 2008
  • Author: George Metcalfe, Nicola Olivetti, Dov M. Gabbay
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper]
  • PDF
  • English
  • Year: 1996
  • Author: Gabbay, D. M
What is a Logical System?
  • DJVU
  • English
  • Year: 1994
  • Author: D. M. Gabbay (Editor)
Quantification in nonclassical logic
  • GZ
  • English
  • Year: 2006
  • Author: Gabbay D., Shehtman V., Skvortsov D.
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications
  • PDF
  • English
  • Year: 2008
  • Author: D. M. Gabbay, R. Schmidt, A. Szalas
search