Abstract
We give alternative characterizations of exact, extendible and projective formulas in intuitionistic propositional calculus IPC in terms of n-universal models. From these characterizations we derive a new syntactic description of all extendible formulas of IPC in two variables. For the formulas in two variables we also give an alternative proof of Ghilardi’s theorem that every extendible formula is projective.
Similar content being viewed by others
References
Arevadze, N., Finite Projective Formulas, Master’s thesis, ILLC, University of Amsterdam, 2001.
Bellissima F.: ‘Finitely generated free Heyting algebras’. Journal of Symbolic Logic 51, 152–165 (1986)
Bezhanishvili, N., Lattices of Intermediate and Cylindric Modal Logics, Ph.D. thesis, ILLC, University of Amsterdam, 2006.
Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.
Burris, R., and H. Sankappanavar, A Course in Universal Algebra, Springer, 1981.
Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford University Press, 1997.
van Dalen D.: ‘Intuitionistic Logic’. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic, vol 3., pp. 225–339. Kluwer, Reidel, Dordrecht (1986)
Esakia L., Grigolia R.: ‘The criterion of Brouwerian and closure algebras to be finitely generated’. Bull. of Sect. of Log. 6, 46–52 (1977)
Ghilardi S.: ‘Unification in intuitionistic logic’. Journal of Symbolic Logic 64, 859–880 (1999)
Ghilardi S., Zawadowski M.: ‘A sheaf representation and duality for finitely presented Heyting algebras’. Journal of Symbolic Logic 60, 911–939 (1995)
Grigolia, R., Free Algebras of Non-Classical Logics, “Metsniereba”, Tbilisi, 1987. (Russian).
Jongh, D. de, Investigations on the Intuitionistic Propositional Calculus, Ph.D. thesis, University of Wisconsin, 1968.
Jongh, D. de, ‘Formulas in one propositional variable in intuitionistic arithmetic’, in A. Troelstra, and D. van Dalen, (eds.), The L.E.J Brouwer Centenary Symposium, North Holland Publishing Company, 1982.
de Jongh D., Chagrova L.: ‘The decidability of dependency in intuitionistic propositional logic’. J. Symbolic Logic 60(2), 498–504 (1995)
Jongh, D. de, and A. Visser, ‘Embeddings of Heyting algebras’, in W. Hodges, M. Hyland, C. Steinhorn, and J. Truss, (eds.), Logic: from foundations to applications, Oxford University Press, 1996.
Jongh, D. de, and F. Yang, ‘Jankov’s theorems for intermediate logics in the setting of universal models’, in N. Bezhanishvili et al., (ed.), Proceedings of TbiLLC’09: International Conference on Logic, Language and Computation, vol. 6618 of LNAI, Springer-Verlag, 2011, pp. 53–76.
Nola, A. Di, R. Grigolia, and L. Spada, ‘Projective formulae in the Lukasiewicz logic’, 2011. Manuscript.
Pitts A.M.: ‘On an interpretation of second order quantification in first order intuitionistic propositional logic’. Journal of Symbolic Logic 57, 33–52 (1992)
Renardel de Lavalette, G., L. Hendriks, and D. de Jongh, ‘Intuitionistic implication without disjunction’, Journal of Logic and Computation. Advance Access Published 24 November, 2010.
Rybakov V.V.: ‘Rules of inference with parameters for intuitionistic logic’. Journal of Symbolic Logic 57, 33–52 (1992)
Shehtman V.B.: ‘Rieger-Nishimura lattices’. Soviet Mathematics Doklady 19, 1014–1018 (1978)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Leo Esakia
Rights and permissions
About this article
Cite this article
Bezhanishvili, N., de Jongh, D. Extendible Formulas in Two Variables in Intuitionistic Logic. Stud Logica 100, 61–89 (2012). https://doi.org/10.1007/s11225-012-9389-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9389-8