Publisher
Springer Science and Business Media LLC
Reference12 articles.
1. Alonderis R.: Glivenko classes of sequents for propositional star-free likelihood logic. Logic J. IGPL 15(1), 1–19 (2007)
2. Galmiche, D., Méry, D.: A connection-based characterization of bi-intuitionistic validity. In: CADE, pp. 268–282 (2011)
3. Glivenko, V.: Sur quelques points de la logique de M. Brouwer. Bull. cl. sci. Acad. Roy. Belg., ser 5, 15, 183–188 (1929)
4. Negri S., von Plato J.: Structural Proof Theory. Cambridge University Press, Cambridge (2001)
5. Orevkov V.: On Glivenko classes of sequents. Trudy Matematicheskogo Instituta imeni V. A. Steklova 98, 131–154 (1968)