Characteristic Formulas of Partial Heyting Algebras

Logica Universalis 7 (2):167-193 (2013)
  Copy   BIBTEX


The goal of this paper is to generalize a notion of characteristic (or Jankov) formula by using finite partial Heyting algebras instead of the finite subdirectly irreducible algebras: with every finite partial Heyting algebra we associate a characteristic formula, and we study the properties of these formulas. We prove that any intermediate logic can be axiomatized by such formulas. We further discuss the correlations between characteristic formulas of finite partial algebras and canonical formulas. Then with every well-connected Heyting algebra we associate a set of characteristic formulas that correspond to each finite relative subalgebra of this algebra. Finally, we demonstrate that in many respects these sets enjoy the same properties as regular characteristic formulas. In the last section we outline an approach how to generalize these obtained results to the broad classes of algebras



    Upload a copy of this work     Papers currently archived: 86,441

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Priestley duality for some subalgebra lattices.Georges Hansoul - 1996 - Studia Logica 56 (1-2):133 - 149.
Finitely generated free Heyting algebras.Fabio Bellissima - 1986 - Journal of Symbolic Logic 51 (1):152-165.
Partial Combinatory Algebras of Functions.Jaap van Oosten - 2011 - Notre Dame Journal of Formal Logic 52 (4):431-448.


Added to PP

20 (#628,801)

6 months
1 (#869,379)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations