(Dual) hoops have unique halving

DOI10.1007/978-3-642-36675-8_9MaRDI QIDQ4913866zbMATH OpenOpenAlexFDO

Authors 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

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

Abstract: Continuous logic extends the multi-valued Lukasiewicz logic by adding a halving operator on propositions. This extension is designed to give a more satisfactory model theory for continuous structures. The semantics of these logics can be given using specialisations of algebraic structures known as hoops. As part of an investigation into the metatheory of propositional continuous logic, we were indebted to Prover9 for finding a proof of an important algebraic law.

Recommendations

• Continuous logic. Basic notions.
• Continuous propositional modal logic
• Hoops and Fuzzy Logic
• Axiomatic Extensions of Hohle's Monoidal Logic
• Logic for abstract hoop twist-structures

Cites work

• A New Proof of the Completeness of the Lukasiewicz Axioms
• A note on full intuitionistic linear logic
• A proof of completeness for continuous first-order logic
• Algebraic Analysis of Many Valued Logics
• Axiomatization of the infinite-valued predicate calculus
• Brouwerian Semilattices
• Distributivity in Ł\(_{\aleph_0}\) and other sentential logics
• scientific article; zbMATH DE number 1946951 (Why is no real title available?)
• Linear logic
• Metamathematics of fuzzy logic
• More proofs of an axiom of Łukasiewicz
• On a homomorphism property of hoops
• On the structure of hoops
• On the variety generated by involutive pocrims
• Some new results on decidability for elementary algebra and geometry
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0

Cited in

(1)

• On First-Order Model-Based Reasoning

Describes a project that uses

Uses Software

• TPTP
• Prover9
• Mace4

This page was built for publication: (Dual) hoops have unique halving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4913866)