Duality and universal models for the meet-implication fragment of IPC

7Citations
Citations of this article
4Readers
Mendeley users who have this article in their library.
Get full text

Abstract

In this paper we investigate the fragment of intuitionistic logic which only uses conjunction (meet) and implication, using finite duality for distributive lattices and universal models. We give a description of the finitely generated universal models of this fragment and give a complete characterization of the up-sets of Kripke models of intuitionistic logic which can be defined by meet-implication-formulas. We use these results to derive a new version of subframe formulas for intuitionistic logic and to show that the uniform interpolants of meet-implication-formulas are not necessarily uniform interpolants in the full intuitionistic logic.

Cite

CITATION STYLE

APA

Bezhanishvili, N., Coumans, D., van Gool, S. J., & de Jongh, D. (2015). Duality and universal models for the meet-implication fragment of IPC. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8984, pp. 97–116). Springer Verlag. https://doi.org/10.1007/978-3-662-46906-4_7

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free