The Talmudic Logic Project, Ongoing Since 2008.

Dov M. Gabbay Uri J. Schild Esther David

Published in: Logica Universalis (2019)

Keyphrases

current status
project management
modal logic
case study
digital circuits
information systems
information technology
multi valued
databases
software development
nonmonotonic logics
predicate logic
truth values
deontic logic
pilot project
sound and complete axiomatization