Bi-Heyting algebras, toposes and modalities

Journal of Philosophical Logic 25 (1):25 - 43 (1996)
  Copy   BIBTEX


The aim of this paper is to introduce a new approach to the modal operators of necessity and possibility. This approach is based on the existence of two negations in certain lattices that we call bi-Heyting algebras. Modal operators are obtained by iterating certain combinations of these negations and going to the limit. Examples of these operators are given by means of graphs



    Upload a copy of this work     Papers currently archived: 92,369

External links

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

Through your library


Added to PP

123 (#148,134)

6 months
6 (#531,083)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..
An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.
Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.

View all 18 citations / Add more citations

References found in this work

A topos-theoretic approach to reference and modality.Gonzalo E. Reyes - 1991 - Notre Dame Journal of Formal Logic 32 (3):359-391.
Doctrines in categorical logic.Anders Kock & Gonzalo E. Reyes - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 90.

Add more references