Semiconic idempotent logic I: Structure and local deduction theorems.

Wesley Fussner Nikolaos Galatos

Published in: Ann. Pure Appl. Log. (2024)

Keyphrases

logic programming
hierarchical structure
modal logic
theorem proving
data sets
search engine
case study
bayesian networks
expert systems
tree structure
constraint satisfaction
structural information
automated reasoning
multi valued
intuitionistic logic