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. © Springer-Verlag Berlin Heidelberg 2013.
CITATION STYLE
Arthan, R., & Oliva, P. (2013). (Dual) hoops have unique halving. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7788, 165–180. https://doi.org/10.1007/978-3-642-36675-8_9
Mendeley helps you to discover research relevant for your work.