Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic.

Thomas Macaulay Ferguson

Published in: TABLEAUX (2021)

Keyphrases

modal logic
closely related
management system
distributed systems
intelligent systems
computer systems
data mining
search engine
logic programming
digital circuits
asynchronous circuits