Truth, Partial Logic and Infinitary Proof Systems.

Martin Fischer Norbert Gratzl

Published in: Stud Logica (2018)

Keyphrases

data mining
database
databases
expert systems
control system
management system
programming language
building blocks
retrieval systems
modal logic
multi valued
classical logic
digital circuits
linear logic
automated theorem proving
proof theory