DeepAI AI Chat
Log In Sign Up

An unexpected Boolean connective

02/10/2021
by   Sérgio Marcelino, et al.
0

We consider a 2-valued non-deterministic connective ∧-5.5pt ∨ defined by the table resulting from the entry-wise union of the tables of conjunction and disjunction. Being half conjunction and half disjunction we named it platypus. The value of ∧-5.5pt ∨ is not completely determined by the input, contrasting with usual notion of Boolean connective. We call non-deterministic Boolean connective any connective based on multi-functions over the Boolean set. In this way, non-determinism allows for an extended notion of truth-functional connective. Unexpectedly, this very simple connective and the logic it defines, illustrate various key advantages in working with generalized notions of semantics (by incorporating non-determinism), calculi (by allowing multiple-conclusion rules) and even of logic (moving from Tarskian to Scottian consequence relations). We show that the associated logic cannot be characterized by any finite set of finite matrices, whereas with non-determinism two values suffice. Furthermore, this logic is not finitely axiomatizable using single-conclusion rules, however we provide a very simple analytical multiple-conclusion axiomatization using only two rules. Finally, deciding the associated multiple-conclusion logic is coNP-complete, but deciding its single-conclusion fragment is in P.

READ FULL TEXT

page 1

page 2

page 3

page 4

04/14/2022

Monadicity of Non-deterministic Logical Matrices is Undecidable

The notion of non-deterministic logical matrix (where connectives are in...
02/04/2022

Modular many-valued semantics for combined logics

We obtain, for the first time, a modular many-valued semantics for combi...
03/28/2000

Some Remarks on Boolean Constraint Propagation

We study here the well-known propagation rules for Boolean constraints. ...
12/14/2021

A note on calculi for non-deterministic many-valued logics

We present two deductively equivalent calculi for non-deterministic many...
06/18/2018

Boolean-like algebras of finite dimension

We introduce Boolean-like algebras of dimension n (nBA) having n constan...
10/02/2019

Prime Clocks

Physical implementations of digital computers began in the latter half o...
10/13/2018

Combining fragments of classical logic: When are interaction principles needed?

We investigate the combination of fragments of classical logic as a way ...