@article(bloom1972investigations,
 author       = {Stephen L. Bloom and Roman Suszko},
 year         = {1972},
 title        = {Investigations into the {S}entential {C}alculus with {I}dentity},
 journal      = {Notre Dame Journal of Formal Logic},
 volume       = {13},
 number       = {3},
 pages        = {289--308},
 doi          = {10.1305/ndjfl/1093890617},
)
@article(Chlebowski2018,
 author       = {Szymon Chlebowski},
 year         = {2018},
 title        = {Sequent {C}alculi for {SCI}},
 journal      = {Studia Logica},
 volume       = {106},
 number       = {3},
 pages        = {541--563},
 doi          = {10.1007/s11225-017-9754-8},
)
@article(isci,
 author       = {Szymon Chlebowski and Leszczy\'{n}ska-Jasion, Dorota},
 year         = {2019},
 title        = {An Investigation into Intuitionistic Logic with Identity},
 journal      = {Bulletin of the Section of Logic},
 volume       = {48},
 number       = {4},
 pages        = {259--283},
 doi          = {10.18778/0138-0680.48.4.02},
)
@article(Lewitzka09,
 author       = {Steffen Lewitzka},
 year         = {2009},
 title        = {$\in_I$: An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity},
 journal      = {Notre Dame Journal of Formal Logic},
 volume       = {50},
 number       = {3},
 pages        = {275--301},
 doi          = {10.1215/00294527-2009-012},
)
@article(lewitzka11,
 author       = {Steffen Lewitzka},
 year         = {2011},
 title        = {$\in_K$: {A} {N}on-{F}regean {L}ogic of {E}xplicit {K}nowledge},
 journal      = {Studia {L}ogica},
 volume       = {97},
 pages        = {233--264},
 doi          = {10.1007/s11225-011-9304-8},
)
@article(Lukowski1990b,
 author       = {{\L}ukowski, Piotr},
 year         = {1990},
 title        = {Intuitionistic sentential calculus with classical identity},
 journal      = {Bulletin of the Section of Logic},
 volume       = {19},
 number       = {4},
 pages        = {147--150},
)
@article(calculus19901,
 author       = {\L{}ukowski, Piotr},
 year         = {1990},
 title        = {Intuitionistic {S}entential {C}alculus with {I}dentity},
 journal      = {Bulletin of the Section of Logic},
 volume       = {19},
 number       = {3},
 pages        = {92--99},
)
@article(Lukowski1992,
 author       = {{\L}ukowski, Piotr},
 year         = {1992},
 title        = {Matrix-frame semantics for {ISCI} and {INT}},
 journal      = {Bulletin of the Section of Logic},
 volume       = {21},
 number       = {4},
 pages        = {156--162},
)
@article(Lukowski1993,
 author       = {{\L}ukowski, Piotr},
 year         = {1992},
 title        = {Three semantics for intuitionistic sentential calculus with identity},
 journal      = {Bulletin of the Section of Logic},
 volume       = {22},
 number       = {1},
 pages        = {24--27},
)
@article(michaels,
 author       = {Aileen Michaels},
 year         = {1974},
 title        = {A Uniform Proof Procedure for SCI Tautologies},
 journal      = {Studia Logica},
 volume       = {33},
 number       = {3},
 pages        = {299--310},
 doi          = {10.1007/BF02123284},
)
@book(negri-structural,
 author       = {Sara Negri and Jan von Plato and Aarne Ranta},
 year         = {2001},
 title        = {Structural {P}roof {T}heory},
 publisher    = {Cambridge {U}niversity {P}ress},
 doi          = {10.1017/CBO9780511527340},
)
@article(Omyla2016,
 author       = {Omy{\l}a, Mieczys{\l}aw},
 year         = {2016},
 title        = {J\IeC{\k e}zyk naturalny a logika niefregowska (Natural language and non-Fregean logic)},
 journal      = {Edukacja Filozoficzna},
 volume       = {Wydanie specjalne: Filozofii Polacy potrzebuj\IeC{\k a}. Ksi\IeC{\k e}ga pami\IeC{\k a}tkowa ofiarowana Witoldowi Mackiewiczowi w siedemdziesi\IeC{\k a}t\IeC{\k a} pi\IeC{\k a}t\IeC{\k a} rocznic\IeC{\k a} urodzin},
 pages        = {241\IeC{\textendash}254},
)
@article(Suszko:1968a,
 author       = {Roman Suszko},
 year         = {1968},
 title        = {Non-Fregean logic and theories},
 journal      = {Analele Universit{\v a}{\c t}ii Bucure{\c s}ti, Acta Logica},
 volume       = {11},
 pages        = {105--125},
)
@article(Suszko:1968b,
 author       = {Roman Suszko},
 year         = {1968},
 title        = {Ontology in the {\em Tractatus} of L. Wittgenstein},
 journal      = {Notre Dame Journal of Formal Logic},
 volume       = {9},
 number       = {1},
 pages        = {7--33},
 doi          = {10.1305/ndjfl/1093893349},
)
@article(Suszko1971,
 author       = {Roman Suszko},
 year         = {1971},
 title        = {Identity connective and modality},
 journal      = {Studia Logica},
 volume       = {27},
 pages        = {7--39},
 doi          = {10.1007/BF02282541},
)
@incollection(suszko-abolition,
 author       = {Roman Suszko},
 year         = {1975},
 title        = {Abolition of the Fregean axiom},
 editor       = {Rohit Parikh},
 booktitle    = {Logic Colloquium. Symposium on Logic held at Boston, 1972--73},
 series       = {Lecture Notes in Mathematics},
 volume       = {453},
 publisher    = {Springer},
 pages        = {169--239},
 doi          = {10.1007/BFb0064874},
)
@book(basicproof,
 author       = {Anne Sjerp Troelstra and Helmut Schwichtenberg},
 year         = {2000},
 title        = {Basic {P}roof {T}heory},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 volume       = {43},
 publisher    = {Cambridge {U}niversity {P}ress},
 doi          = {10.1017/CBO9781139168717},
)
@book(witt,
 author       = {Ludwig Wittgenstein},
 year         = {2001},
 title        = {Tractatus {L}ogico-{P}hilosophicus},
 publisher    = {Routledge},
)