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