This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
L. Buisman & R Goré . (2007). A cut-free sequent calculus for bi-intuitionistic logic. In N. Olivetti , editor. Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Computer Science, Vol. 4548. Berlin: Springer, pp. 90–106.
H. Kihara & H Ono . (2010). Interpolation properties, Beth definability properties and amalgamation properties for substructural logics. Journal of Logic and Computation, 20(4), 823–875.
O. Lahav & A Avron . (2013). A unified semantic framework for fully structural propositional sequent systems. ACM Transactions on Computational Logic, 14(4), Art. 27, 1–33.
L Maksimova . (1976). The principle of separation of variables in propositional logics. Algebra and Logic, 15, 168–184 (in Russian).
L. Pinto & T Uustalu . (2009). Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents. In Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Computer Science, Vol. 5607. Berlin: Springer, pp. 295–309.
C Rauszer . (1974). A formalization of the propositional calculus of H-B logic. Studia Logica, 33, 23–34.
C Rauszer . (1977a). Applications of Kripke models to Heyting-Brouwer logic. Studia Logica, 36(1–2), 61–71.
C Rauszer . (1977c). Model theory for an extension of intuitionistic logic. Studia Logica, 36(1–2), 73–87.
H. P Sankappanavar . (1985). Heyting algebras with dual pseudocomplementation. Pacific Journal of Mathematics, 117(2), 405–415.
F Wolter . (1998). On logics with coimplication. Journal of Philosophical Logic, 27(4), 353–387.