Stephen L. Bloom & Roman Suszko (1972):
Investigations into the Sentential Calculus with Identity.
Notre Dame Journal of Formal Logic 13(3),
pp. 289–308,
doi:10.1305/ndjfl/1093890617.
Szymon Chlebowski (2018):
Sequent Calculi for SCI.
Studia Logica 106(3),
pp. 541–563,
doi:10.1007/s11225-017-9754-8.
Szymon Chlebowski & Dorota Leszczyńska-Jasion (2019):
An Investigation into Intuitionistic Logic with Identity.
Bulletin of the Section of Logic 48(4),
pp. 259–283,
doi:10.18778/0138-0680.48.4.02.
Steffen Lewitzka (2009):
_I: An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity.
Notre Dame Journal of Formal Logic 50(3),
pp. 275–301,
doi:10.1215/00294527-2009-012.
Steffen Lewitzka (2011):
_K: A Non-Fregean Logic of Explicit Knowledge.
Studia Logica 97,
pp. 233–264,
doi:10.1007/s11225-011-9304-8.
Piotr Łukowski (1990):
Intuitionistic sentential calculus with classical identity.
Bulletin of the Section of Logic 19(4),
pp. 147–150.
Piotr Łukowski (1990):
Intuitionistic Sentential Calculus with Identity.
Bulletin of the Section of Logic 19(3),
pp. 92–99.
Piotr Łukowski (1992):
Matrix-frame semantics for ISCI and INT.
Bulletin of the Section of Logic 21(4),
pp. 156–162.
Piotr Łukowski (1992):
Three semantics for intuitionistic sentential calculus with identity.
Bulletin of the Section of Logic 22(1),
pp. 24–27.
Aileen Michaels (1974):
A Uniform Proof Procedure for SCI Tautologies.
Studia Logica 33(3),
pp. 299–310,
doi:10.1007/BF02123284.
Sara Negri, Jan von Plato & Aarne Ranta (2001):
Structural Proof Theory.
Cambridge University Press,
doi:10.1017/CBO9780511527340.
Mieczysław Omyła (2016):
Język naturalny a logika niefregowska (Natural language and non-Fregean logic).
Edukacja Filozoficzna Wydanie specjalne: Filozofii Polacy potrzebują. Księga pamiątkowa ofiarowana Witoldowi Mackiewiczowi w siedemdziesiątą piątą rocznicą urodzin,
pp. 241254.
Roman Suszko (1968):
Non-Fregean logic and theories.
Analele Universitǎţii Bucureşti, Acta Logica 11,
pp. 105–125.
Roman Suszko (1968):
Ontology in the Tractatus of L. Wittgenstein.
Notre Dame Journal of Formal Logic 9(1),
pp. 7–33,
doi:10.1305/ndjfl/1093893349.
Roman Suszko (1971):
Identity connective and modality.
Studia Logica 27,
pp. 7–39,
doi:10.1007/BF02282541.
Roman Suszko (1975):
Abolition of the Fregean axiom.
In: Rohit Parikh: Logic Colloquium. Symposium on Logic held at Boston, 1972–73,
Lecture Notes in Mathematics 453.
Springer,
pp. 169–239,
doi:10.1007/BFb0064874.
Anne Sjerp Troelstra & Helmut Schwichtenberg (2000):
Basic Proof Theory.
Cambridge Tracts in Theoretical Computer Science 43.
Cambridge University Press,
doi:10.1017/CBO9781139168717.
Ludwig Wittgenstein (2001):
Tractatus Logico-Philosophicus.
Routledge.
eptcs@eptcs.org