2012/03/02 by Rob Arthan, Arthan, Rob, Paulo Oliva +1
Computer Science · #03B50 #03G25 #Advanced Algebra and Logic #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Rough Sets and Fuzzy Logic
paper · pdf · doi:10.48550/arxiv.1203.0436
openalex publication_date 2012/03/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.