The University of Southampton
×
Filter your search:
University of Southampton Institutional Repository

Truth set algebra: a new way to prove undefinability

Truth set algebra: a new way to prove undefinability
Truth set algebra: a new way to prove undefinability
The article proposes a new technique for proving the undefinability of logical connectives through each other and illustrates the technique with several examples. Some of the obtained results are new proofs of the existing theorems, others are original to this work.
cs.AI, cs.LO, math.LO
Knight, Sophia
b84253fe-7a36-4574-8c7a-481b9865150a
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Shi, Qi
58260d72-7f73-443f-a47a-99577e6b963e
Suntharraj, Vigasan
ab2711ee-da49-41f6-9ae5-5741a6c70f6e
Knight, Sophia
b84253fe-7a36-4574-8c7a-481b9865150a
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Shi, Qi
58260d72-7f73-443f-a47a-99577e6b963e
Suntharraj, Vigasan
ab2711ee-da49-41f6-9ae5-5741a6c70f6e

[Unknown type: UNSPECIFIED]

Record type: UNSPECIFIED

Abstract

The article proposes a new technique for proving the undefinability of logical connectives through each other and illustrates the technique with several examples. Some of the obtained results are new proofs of the existing theorems, others are original to this work.

Text
2208.04422v2 - Author's Original
Available under License Creative Commons Attribution.
Download (1MB)

More information

Published date: 8 August 2022
Related URLs:
Keywords: cs.AI, cs.LO, math.LO
Learn more about Agents, Interactions and Complexity research Learn more about School of Electronics and Computer Science research

Identifiers

Local EPrints ID: 483759
URI: http://eprints.soton.ac.uk/id/eprint/483759
DOI: doi:10.48550/arXiv.2208.04422
PURE UUID: 34d3b68c-2bd7-4785-bbc4-ea28122f253b
ORCID for Pavel Naumov: ORCID iD orcid.org/0000-0003-1687-045X
ORCID for Qi Shi: ORCID iD orcid.org/0000-0003-0366-9087

Catalogue record

Date deposited: 03 Nov 2023 18:32
Last modified: 17 Mar 2024 04:13

Export record

Altmetrics

Contributors

Author: Sophia Knight
Author: Pavel Naumov ORCID iD
Author: Qi Shi ORCID iD
Author: Vigasan Suntharraj

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Library staff additional information
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×