Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic.

Tarek Sayed Ahmed

Published in: Stud Logica (2002)

Keyphrases

modal logic
neural network
inference rules
multi valued
classical logic
algebraic structure
database systems
probability distribution
logical framework
defeasible logic