arXiv (All)open access
Sequent-style tableaux for intuitionistic propositional logic
logic, 03f05, 03b20, 03b55, 03f03
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 662309
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.