Abstract

In the chapter on quantum logic in Volume 6 of Handbook of Philosophical Logic, Dalla Chiara and Giuntini make an interesting observation that there is a unified relational semantics underlying both the {¬,∧}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\{ {\lnot }, {\wedge } \}$$\end{document}-fragment of intuitionistic logic and ortho-logic. In this paper, we contribute to a systematic investigation of this relational semantics by providing an axiomatization of its logic.