Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach.

Published in: Diagrams (2018)

Keyphrases

modal logic
logic programming
multi valued
data sets
automated reasoning
computational properties
defeasible logic
machine learning
probabilistic logic
formal language
predicate logic
proof theory
sound and complete axiomatization