Some Intuition Behind Constructive Formal Logic: tableaux and
Läuchli countermodels
List of papers
from
Michael J. O'Donnell
Bibliography
James Lipton,
Michael J. O'Donnell.
Some Intuition Behind Constructive Formal Logic: tableaux
and Läuchli countermodels. To appear in Annals of Pure and
Applied Logic.
Copyright
Copyright is currently held by the authors, but may be transferred to
a publisher soon. The authors grant permission to use the material
under the terms of the GNU license, until such a transfer is made. In
general, you may use this preprint for noncommercial scholarly and
educational purposes. You may convert the text to other formats, and
pass along copies to others as long as you preserve the credit to the
authors and publisher, and pass on with every copy of this paper or
derivative work the full license granted to you.
The paper in PostScript.