2008 | ||
---|---|---|
2 | EE | Sato Kentaro: Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View. Studia Logica 88(2): 295-324 (2008) |
2006 | ||
1 | EE | Sato Kentaro: Forcing under Anti-Foundation Axiom: An expression of the stalks. Math. Log. Q. 52(3): 295-314 (2006) |