Distributivity in Ł\(_{\aleph_0}\) and other sentential logics

DOI10.1023/A:1010687609134zbMath1006.03010OpenAlexW2026760611MaRDI QIDQ5951527

Kenneth D. Harris, Branden Fitelson

Publication date: 7 January 2002

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

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

zbMATH Keywords

automated reasoningdistributivitysubstructural logicsautomated model-findingdetachmentinfinite-valued logiclogical matricesMACEMAGICnondistributivityOTTER

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

(Dual) Hoops Have Unique Halving ⋮ Comments on some completeness theorems of Urquhart and Méndez \& Salto ⋮ Logical coherence in Bayesian simultaneous three-way hypothesis tests

Uses Software

• OTTER
• Mace4

This page was built for publication: Distributivity in Ł\(_{\aleph_0}\) and other sentential logics