Abstract
The purpose of this paper is to define a new logic \({\mathcal {SI}}\) called semi-intuitionistic logic such that the semi-Heyting algebras introduced in [4] by Sankappanavar are the semantics for \({\mathcal {SI}}\) . Besides, the intuitionistic logic will be an axiomatic extension of \({\mathcal {SI}}\) .
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Abad, M., J. M. Cornejo, and J.P. Díaz Varela, ‘The Variety Generated by Semi- Heyting Chains’, to appear in Soft Computing.
Hájek, P., Metamathematics of Fuzzy Logic, Trends in Logic, Studia Logica Library, Dordrecht, Boston, London, Vol. 4, 1998.
Rasiowa, H., and R. Sikorski, The Mathematics of Metamathematics, Polska Akademia Nauk, Monografie Matematyczne, Tom 41, Warszawa, 1963.
Sankappanavar, H.P., ‘Semi-Heyting Algebras: An Abstraction From Heyting Algebras’, Actas del IX Congreso Dr. Antonio A. R. Monteiro, 33–66, 2007.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cornejo, J.M. Semi-intuitionistic Logic. Stud Logica 98, 9–25 (2011). https://doi.org/10.1007/s11225-011-9321-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-011-9321-7