Reyes G. E. and M. W. Zawadowski (1993). Formal systems for modal operators on
locales. Studia Logica. Vol.52, 595-613.
From mathematics to literature. – Des mathématiques à la littérature.
June 1, 1993 in Articles, Categorical logic, Gonzalo E. Reyes, Mathematics, Topos theory | by gonzalomarie
Reyes G. E. and M. W. Zawadowski (1993). Formal systems for modal operators on
locales. Studia Logica. Vol.52, 595-613.
Blog at WordPress.com.Ben Eastaugh and Chris Sternal-Johnson.
