Authors
Dorota Leszczyńska-Jasion
Adam Mickiewicz University
Abstract
We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity. We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.18778/0138-0680.48.4.02
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,700
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Investigations Into the Sentential Calculus with Identity.Roman Suszko & Stephen L. Bloom - 1972 - Notre Dame Journal of Formal Logic 13 (3):289-308.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Inquisitive Intuitionistic Logic.Wesley H. Holliday - forthcoming - In Nicola Olivetti & Rineke Verbrugge (eds.), Advances in Modal Logic, Vol. 11. London: College Publications.
A Proof-Search Procedure for Intuitionistic Propositional Logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.
Gentzen Sequent Calculi for Some Intuitionistic Modal Logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.

Analytics

Added to PP index
2020-07-08

Total views
1 ( #1,475,524 of 2,432,317 )

Recent downloads (6 months)
1 ( #466,190 of 2,432,317 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes