Automatic proofs and counterexamples for some ortholattice identities

DOI10.1016/S0020-0190(98)00015-5zbMath1338.03114OpenAlexW1984341203WikidataQ124814624 ScholiaQ124814624MaRDI QIDQ293265

William W. McCune

Publication date: 9 June 2016

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019098000155?np=y

zbMATH Keywords

quantum logicautomatic theorem provingortholattice

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Quantum logic (03G12)

Related Items (1)

Implementing the Binding and Accommodation Theory for Anaphora Resolution and Presupposition Projection

Uses Software

• OTTER
• Mace4
• EQP

Cites Work

• Automated deduction in equational logic and cubic curves
• Orthomodularity is not elementary
• Unnamed Item
• Unnamed Item

This page was built for publication: Automatic proofs and counterexamples for some ortholattice identities