Categorical Abstract Algebraic Logic: Wójcicki's Conjecture and Malinowski's Theorem.

George Voutsadakis

Published in: Reports Math. Log. (2017)

Keyphrases

intuitionistic logic
algebraic structure
computer algebra
logic programming
classical logic
modal logic
propositional dynamic logic
high level
higher order
logical framework
knowledge representation
defeasible logic
digital circuits
predicate logic
epistemic logic
low level
neural network
data sets