The Peripatetic Program in Categorical Logic: Leibniz on Propositional Terms.

Marko Malink Anubav Vasudevan

Published in: Rev. Symb. Log. (2020)

Keyphrases

probabilistic logic
sound and complete axiomatization
multi valued
co occurrence
background knowledge
modal logic
propositional logic
numerical values
knowledge representation
logic programming
default logic
categorical data
automated reasoning