HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Chad Brown

Publications
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction
Chad E. Brown and Christine Rizkallah
In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving

Keyphrases

analytic tableaux, classical, extensional, higher-order logic, intensional, Intuitionistic, proof theory, simple type theory, tableaux.

Copyright © 2012-2025 easychair.org. All rights reserved.