HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Hans De Nivelle

Publications
Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic
Hans De Nivelle
In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics

Keyphrases

Logics for partial functions, theorem proving, three-valued logic.

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