Substitution inconsistencies in Transparent Intensional Logic.

Published in: J. Appl. Non Class. Logics (2021)

Keyphrases

logic programming
predicate logic
classical logic
multi valued
digital circuits
modal logic
inconsistent knowledge
logic synthesis
proof theory
search engine
probability theory
data model
defeasible logic
set theory
natural language
search algorithm
formal theory
knowledge base
delay insensitive
database