Show simple item record

dc.contributor.authorChlebowski, Szymon
dc.contributor.authorLeszczyńska-Jasion, Dorota
dc.description.abstractWe define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.en
dc.publisherWydawnictwo Uniwersytetu Łódzkiegopl
dc.relation.ispartofseriesBulletin of the Section of Logic;4en
dc.subjectNon-Fregean logicsen
dc.subjectintuitionistic logicen
dc.subjectadmissibility of cuten
dc.subjectpropositional identityen
dc.titleAn Investigation into Intuitionistic Logic with Identityen
dc.contributor.authorAffiliationChlebowski, Szymon - Department of Logic and Cognitive Science, Faculty of Psychology and Cognitive Science, Adam Mickiewicz University, Poznań, Polanden
dc.contributor.authorAffiliationLeszczyńska-Jasion, Dorota - Department of Logic and Cognitive Science, Faculty of Psychology and Cognitive Science, Adam Mickiewicz University, Poznań, Polanden
dc.references[1] S. L. Bloom and R. Suszko, Investigations into the sentential calculus with identity, Notre Dame Journal of Formal Logic, Vol. 13, No. 3 (1972), pp. 289–308.
dc.references[2] J. G. Granström, Treatise on intuitionistic type theory, Springer Science & Business Media, Dordrecht, 2011.
dc.references[3]J. R. Hindley, Basic simple type theory, Cambridge University Press, Cambridge, 1997.
dc.references[4] S. C. Kleene, Introduction to Metamathematics, Amsterdam: North-Holland Publishing Co.; Groningen: P. Noordhoff N.V., 1952.en
dc.references[5] P. Łukowski, Intuitionistic sentential calculus with identity, Bulletin of the Section of Logic, Vol. 19, No. 3 (1990), pp. 92–99.en
dc.references[6] S. Negri and J. von Plato, Cut elimination in the presence of axioms, Bulletin of Symbolic Logic, Vol. 4, No. 04 (1998), pp. 418–435.
dc.references[7] S. Negri and J. von Plato, Structural Proof Theory, Cambridge University Press, Cambridge, 2001.
dc.references[8] S. Negri and J. von Plato, Proof Analysis: a Contribution to Hilbert’s Last Problem, Cambridge University Press, Cambridge, 2011.en
dc.references[9] S. Negri, J. von Plato, and T. Coquand, Proof-theoretical analysis of order relations, Archive for Mathematical Logic, Vol. 43, No. 3 (2004), pp. 297–309.
dc.references[10] R. Suszko, Abolition of the Fregean axiom, [in:] R. Parikh (ed.), Logic Colloquium, pp. 169–239, Berlin, Heidelberg, 1975, Springer.
dc.references[11] A. S. Troelstra and H. Schwichtenberg, Basic Proof Theory, Camridge University Press, Cambridge, second edition, 2000.
dc.references[12] L. Viganò, Labelled non-classical logics, Kluwer Academic Publishers, Boston, 2000.
dc.contributor.authorEmailChlebowski, Szymon -
dc.contributor.authorEmailLeszczyńska-Jasion, Dorota -

Files in this item


This item appears in the following Collection(s)

Show simple item record
Except where otherwise noted, this item's license is described as