Abstract
In this paper we introduce a logic that we name semi Heyting–Brouwer logic, \({\mathcal{SHB}}\), in such a way that the variety of double semi-Heyting algebras is its algebraic counterpart. We prove that, up to equivalences by translations, the Heyting–Brouwer logic \({\mathcal{HB}}\) is an axiomatic extension of \({\mathcal{SHB}}\) and that the propositional calculi of intuitionistic logic \({\mathcal{I}}\) and semi-intuitionistic logic \({\mathcal{SI}}\) turn out to be fragments of \({\mathcal{SHB}}\).
Similar content being viewed by others
References
Abad M., Cornejo J.M., DiazVarela J.P.: Semi-Heyting algebras term-equivalent to Gödel algebras. Order 2, 625–642 (2013)
Beazer R.: Subdirectly irreducible double Heyting algebras. Algebra Universalis 10(2), 220–224 (1980)
: Semi-intuitionistic logic. Studia Logica 98(1–2), 9–25 (2011)
Cornejo J.M., Viglizzo I.: On some semi-intuitionistics logics. Studia Logica (2014) doi:10.1007/s11225-014-9568-x
Crolard T.: Subtractive logic. Theoretical Computer Science 254(1–2), 151–185 (2001)
Crolard T.: A formulae-as-types interpretation of subtractive logic. Journal of Logic and Computation 14(4), 529–570 (2004)
Czermak J.: A remark on Gentzen’s calculus of sequents. Notre Dame Journal of Formal Logic 18(3), 471–474 (1977)
Font J.M., Jansana R., Pigozzi D.: A survey of abstract algebraic logic. Studia Logica 74(1–2), 13–97 (2003) Abstract algebraic logic, Part II (Barcelona, 1997).
Goré, R., Dual intuitionistic logic revisited, in Automated Reasoning with Analytic Tableaux and Related Methods, St. Andrews, 2000, vol. 1847 of Lecture Notes in Computer Science, Springer, Berlin, 2000, pp. 252–267.
Goré R., Postniece L.: Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic. Journal of Logic and Computation 20(1), 233–260 (2010)
Goré, R., L. Postniece, and A. Tiu, Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents, in Advances in Modal Logic, vol. 7, College Publications, London, 2008, pp. 43–66.
Köhler P.: A subdirectly irreducible double Heyting algebra which is not simple. Algebra Universalis 10(1), 189–194 (1980)
Makkai M., Reyes G.E.: Completeness results for intuitionistic and modal logic in a categorical setting. Annals of Pure and Applied Logic 72(1), 25–101 (1995)
Pelletier F.J., Urquhart A.: Synonymous logics. Journal of Philosophical Logic 32(3), 259–285 (2003)
Rasiowa, H., An Algebraic Approach to Non-classical Logics, vol. 78 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1974.
Rasiowa, H., and R. Sikorski, The Mathematics of Metamathematics, 3rd edn., Monografie Matematyczne, Tom 41, PWN—Polish Scientific Publishers, Warsaw, 1970.
Rauszer C.: Semi-Boolean algebras and their applications to intuitionistic logic with dual operations. Fundamenta Mathematicae 83(3), 219–249 (1973)
Rauszer C.: An algebraic and Kripke-style approach to a certain extension of intuitionistic logic. Dissertationes Mathematicae (Rozprawy Matematyczne) 167, 62 (1980)
Sankappanavar, H. P., Semi-Heyting algebras: An abstraction from Heyting algebras, in Proceedings of the 9th “Dr. Antonio A. R. Monteiro” Congress (Spanish), Actas del Congreso “Dr. Antonio A. R. Monteiro”, Universidad Nacional del Sur, Bahía Blanca, 2008, pp. 33–66.
Sankappanavar H.P.: Expansions of semi-Heyting algebras I: Discriminator varieties. Studia Logica 98(1–2), 27–81 (2011)
Wolter F.: On logics with coimplication. Journal of Philosophical Logic 27(4), 353–387 (1998)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cornejo, J.M. The Semi Heyting–Brouwer Logic. Stud Logica 103, 853–875 (2015). https://doi.org/10.1007/s11225-014-9596-6
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-014-9596-6