A Proof-Theoretic Completeness Proof for Propositional Classical Core Logic
Crossref DOI link: https://doi.org/10.1007/s11225-025-10192-y
Published Online: 2025-06-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Tennant, Neil https://orcid.org/0000-0002-3523-2296
Text and Data Mining valid from 2025-06-09
Version of Record valid from 2025-06-09
Article History
Received: 2 December 2024
First Online: 9 June 2025