Investigations into the sentential calculus with identity
Bloom (Stephen) & Suszko (Roman)
Source: Notre Dame J. Formal Logic 13, no. 3 (1972), 289–308
Paper - Abstract

Paper StatisticsDisclaimer


Philosophers Index Abstract

    The sentential calculus with identity (SCI) is obtained from the classical sentential calculus by the addition of a binary 'identity connective' = and axioms which 'say' that p = q means p is identical to q. The study of the semantics of the resulting consequence operation using Tarski's matrix method yields insights into consequence operations in general and the classical and modal1 consequence operations in particular. One finitely axiomatizable SCI theory is studied. It is shown that this theory consists of those formulas valid in all topological Boolean algebras.

Text Colour Conventions (see disclaimer)

  1. Blue: Text by me; © Theo Todman, 2018
  2. Mauve: Text by correspondent(s) or other author(s); © the author(s)



© Theo Todman, June 2007 - Dec 2018. Please address any comments on this page to theo@theotodman.com. File output:
Website Maintenance Dashboard
Return to Top of this Page Return to Theo Todman's Philosophy Page Return to Theo Todman's Home Page