The Logic of the Weak Excluded Middle: A Case Study of Proof-Search

DOI10.1007/978-88-470-0784-0_6zbMath1195.03057OpenAlexW118254599MaRDI QIDQ3654816

Giovanna Corsi

Publication date: 11 January 2010

Published in: Deduction, Computation, Experiment (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-88-470-0784-0_6

zbMATH Keywords

proof searchlogic of weak excluded middle

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03) Intermediate logics (03B55)

This page was built for publication: The Logic of the Weak Excluded Middle: A Case Study of Proof-Search