(Dual) Hoops Have Unique Halving

DOI10.1007/978-3-642-36675-8_9zbMath1383.68068arXiv1203.0436OpenAlexW1782307004MaRDI QIDQ4913866

Rob Arthan, Paulo Oliva

Publication date: 16 April 2013

Published in: Automated Reasoning and Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.0436

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Many-valued logic (03B50)

Related Items (1)

On First-Order Model-Based Reasoning

Uses Software

• TPTP
• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Some new results on decidability for elementary algebra and geometry
• Metamathematics of fuzzy logic
• On the structure of hoops
• More proofs of an axiom of Łukasiewicz
• A note on full intuitionistic linear logic
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Brouwerian Semilattices
• A proof of completeness for continuous first-order logic
• Axiomatization of the infinite-valued predicate calculus
• Distributivity in Ł\(_{\aleph_0}\) and other sentential logics

This page was built for publication: (Dual) Hoops Have Unique Halving