DeepAI AI Chat

(Dual) Hoops Have Unique Halving

03/02/2012

∙

by Rob Arthan, et al.

∙

∙

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.

Rob Arthan
4 publications
Paulo Oliva
7 publications

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...

0 Evan Piermont, et al. ∙

∙ 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...

0 Longchun Wang, et al. ∙

∙ 04/14/2022

Algebraizability of the Logic of Quasi-N4-Lattices

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

0 Clodomir Silva Lima Neto, et al. ∙

∙ 10/23/2020

An algebraic study of the first order version of some implicational fragments of the three-valued Lukasiewicz logic

MV-algebras are an algebraic semantics for Lukasiewicz logic and MV-alge...

0 Aldo Figallo-Orellano, et al. ∙

∙ 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...

0 Pedro Cabalar, et al. ∙

∙ 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...

0 Alexander V. Gheorghiu, et al. ∙

∙ 08/28/1998

First-Order Conditional Logic Revisited

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

0 Nir Friedman, et al. ∙