Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic

Tomoaki Kawano; Naosuke Matsuda; Kento Takagi

doi:10.1215/00294527-2022-0016

May 2022 Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic

Tomoaki Kawano, Naosuke Matsuda, Kento Takagi

Author Affiliations +

Abstract

In this paper, we study general propositional connectives characterized by truth functions and provide a necessary and sufficient condition for intuitionistic logic that coincides with classical logic.

Citation

Download Citation

Tomoaki Kawano. Naosuke Matsuda. Kento Takagi. "Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic." Notre Dame J. Formal Logic 63 (2) 243 - 259, May 2022. https://doi.org/10.1215/00294527-2022-0016

Information

Received: 4 March 2021; Accepted: 5 May 2022; Published: May 2022

First available in Project Euclid: 8 June 2022

MathSciNet: MR4446068

zbMATH: 07556133

Digital Object Identifier: 10.1215/00294527-2022-0016

Subjects:

Primary: 03B20

Secondary: 03B05

Keywords: classical logic , Intuitionistic logic , Kripke semantics , propositional connective

Abstract

Citation

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS