Funder
CONICET
ANPCyT
HORIZON EUROPE Marie Sklodowska-Curie Actions
Publisher
Springer Science and Business Media LLC
Reference32 articles.
1. Ardeshir, M., and W. Ruitenburg, Basic propositional calculus I, Mathematical Logic Quarterly 44:317–343, 1998.
2. Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, 1974.
3. Celani, S., Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic, Algebra Universalis 66:183–204, 2011.
4. Celani, S., Topological duality for Boolean algebras with a normal n-ary monotonic operator, Order 26:49–67, 2009.
5. Celani, S., and R. Jansana, A closer look at some subintuitionistic logics, Notre Dame Journal of Formal Logic 42:225–255, 2003.