Propositional Logic and Cellular Automata on Monoids.
Toshikazu IshidaShuichi InokuchiYasuo KawaharaPublished in: J. Cell. Autom. (2016)
Keyphrases
- propositional logic
- cellular automata
- belief revision
- first order logic
- cellular automata model
- cellular automaton
- possibilistic logic
- lattice gas
- quantified boolean formulae
- belief change
- lattice theory
- artificial intelligence
- satisfiability testing
- cellular automaton model
- discrete dynamical systems
- chaotic dynamics