William M. Farmer

Professor
Department of Computing and Software
McMaster University

Chiron, A Logic Engineered for Practical Use

  1. Chiron: A set theory with types, undefinedness, quotation, and evaluation Abstract PDF
    W. M. Farmer
    SQRL Report No. 38, 151 pp., McMaster University, 2007 (revised 2011).
  2. Chiron: A multi-paradigm logic Abstract PDF
    W. M. Farmer
    In: R. Matuszewski and A. Zalewska, eds, From Insight to Proof: Festschrift in Honour of Andrzej Trybulec, Studies in Logic, Grammar and Rhetoric, 10(23):1–19, 2007.
  3. Biform theories in Chiron Abstract PDF Online
    W. M. Farmer
    In: M. Kauers, M. Kerber, R. R. Miner, and W. Windsteiger, eds., Towards Mechanized Mathematical Assistants, Lecture Notes in Computer Science (LNCS), 4573:66–79, 2007.
  4. Chiron notation PDF
    W. M. Farmer
    2011.