An LF representation of a variant of HOL Light Kevin Watkins June 15, 2004 - Logical biconditional - Document - PDFSEARCH.IO

First Page	Meta Content
	An LF representation of a variant of HOL Light Kevin Watkins / June 15, 2004 Add to Reading List Document Date: 2005-03-23 11:29:40 Open Document File Size: 21,63 KB Share Result on Facebook Organization eta / / SocialTag Propositional calculus Deduction Natural deduction Proof theory Meta Logical biconditional TM Logical connectives Logic Mathematical logic

An LF representation of a variant of HOL Light Kevin Watkins / June 15, 2004Add to Reading List