Formalised cut admissibility for display logic
Loading...
Date
Authors
Dawson, Jeremy
Gore, Rajeev
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Citation
Collections
Source
Theorem Proving in Higher Order Logics