Algebraizable logics with a strong conjunction and their semi-lattice based companions.

Published in: Arch. Math. Log. (2012)

Keyphrases

expressive power
open learner models
information retrieval
concept lattice
inference rules
nonmonotonic logics
neural network
genetic algorithm
artificial intelligence
higher order
modal logic
proof theory
propositional calculus