DeepAI AI Chat
Log In Sign Up

(Dual) Hoops Have Unique Halving

03/02/2012
by   Rob Arthan, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/16/2019

Algebraic Semantics for Propositional Awareness Logics

This paper puts forth a class of algebraic structures, relativized Boole...
04/07/2019

The Syntax of Disjunctive Propositional Logic and Algebraic L-domains

Based on the investigation of the proof system of a disjunctive proposit...
04/14/2022

Algebraizability of the Logic of Quasi-N4-Lattices

The class of quasi-N4-lattices (QN4-lattices) was introduced as a common...
02/22/2016

Enablers and Inhibitors in Causal Justifications of Logic Programs

To appear in Theory and Practice of Logic Programming (TPLP). In this pa...
10/11/2022

Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic

Proof-theoretic semantics (P-tS) is the paradigm of semantics in which m...
08/28/1998

First-Order Conditional Logic Revisited

Conditional logics play an important role in recent attempts to formulat...