Axiomatic Extensions of IMT3 Logic.

Joan Gispert Antoni Torrens

Published in: Stud Logica (2005)

Keyphrases

set theory
logic programming
modal logic
multi valued
knowledge representation formalisms
classical logic
order sorted
default logic
probabilistic logic
neural network
decision theory
defeasible logic
nonmonotonic logics
algebraic operators