CASYS
International Journal of Computing Anticipatory Systems
Yukio-Pegio Gunji, Masashi Aono and Hideki Higashi
Local Semantics as a Lattice Based on the Partial-all Quantifier