Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism.

Published in: CoRR (2013)

Keyphrases

first order logic
theorem prover
formal semantics
expressive power
predicate calculus
propositional logic
theorem proving
highly expressive
logical rules
inference rules

probabilistic reasoning
knowledge representation
representation language
valued logic
relational structures
dynamic logic
relational algebra
inductive logic programming
markov networks
fuzzy set theory

semantic information
operational semantics
relational calculus
proof procedure
markov logic networks
probabilistic graphical models
transitive closure
logic programming
quantifier elimination

machine learning
markov logic
horn clauses
data mining
classical logic
fuzzy numbers
database query languages
term rewriting
quantifier free