Equality
Fitting (Melvin) & Mendelsohn (Richard)
Source: Fitting & Mendelsohn - First-order Modal Logic
Paper - Abstract

Paper StatisticsDisclaimer


Sections

  1. Classical Background
  2. Frege’s Puzzle
  3. The Indiscernibility of Identicals1
  4. The Formal Details
  5. Tableau Equality Rules
  6. Tableau Soundness and Completeness
  7. An Example

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 - Oct 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