Erratum to "Free abelian lattice-ordered groups" [Ann. Pure Appl. Logic 134 (2-3) (2005) 265-283].
Andrew M. W. GlassAngus MacintyreFrançoise PointPublished in: Ann. Pure Appl. Log. (2016)
Keyphrases
- artificial neural networks
- boolean algebra
- using artificial neural networks
- predicate logic
- lattice theory
- logic programming
- neural network
- lattice structure
- cluster analysis
- modal logic
- multilayer perceptron
- concept lattice
- algebraic structure
- rough approximations
- automated reasoning
- ann models
- considerable increase
- deontic logic
- logical framework
- multi valued
- neural network model
- support vector
- genetic algorithm