(Dual) hoops have unique halving

Authors:
Rob Arthan;Paulo Oliva
Affiliations:
School of Electronic Engineering and Computer Science, Queen Mary University of London, London, UK;School of Electronic Engineering and Computer Science, Queen Mary University of London, London, UK
Venue:
Automated Reasoning and Mathematics
Year:
2013

Citing 5
Cited 0

Linear logic

Theoretical Computer Science
Distributivity in Łℵ0 and Other Sentential Logics

Journal of Automated Reasoning
More Proofs of an Axiom of Łukasiewicz

Journal of Automated Reasoning
An Application of Automated Equational Reasoning to Many-valued Logic

Proceedings of the 2nd International CTRS Workshop on Conditional and Typed Rewriting Systems
The TPTP Problem Library and Associated Infrastructure

Journal of Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

Continuous logic extends the multi-valued Łukasiewicz 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 and coops. As part of an investigation into the metatheory of propositional continuous logic, we were indebted to Prover9 for finding proofs of important algebraic laws.