On different proof-search strategies for orthologic

DOI10.1023/A:1022993408070zbMath1015.03019OpenAlexW1506120207MaRDI QIDQ1868244

Hans Tompits, Uwe Egly

Publication date: 27 April 2003

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022993408070

zbMATH Keywords

proof theoryproof complexityGentzen systemorthologicpolynomial decision procedureminimal quantum logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Quantum logic (03G12) Complexity of proofs (03F20)

This page was built for publication: On different proof-search strategies for orthologic