About: How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : covidontheweb.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
title	How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions
Creator	Willard, Dan
source	ArXiv
abstract	Our earlier publications showed semantic tableau admits partial exceptions to the Second Incompleteness Theorem where a formalism recognizes its self consistency and views multiplication as a 3-way relation (rather than as a total function). We now show these boundary-case evasions will collapse if the Law of the Excluded Middle is treated by tableau as a schema of logical axioms (instead of as derived theorems).
has issue date	2020-06-01(xsd:dateTime)
has license	arxiv
sha1sum (hex)	708913306e8474c5c652c1713ac31fa005fed3a8
resource representing a document's title	How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions
resource representing a document's body	covid:708913306e8474c5c652c1713ac31fa005fed3a8#body_text
is schema:about of	named entity 'semantic tableau' named entity 'SEMANTIC' named entity 'MULTIPLICATION' named entity 'LAW' named entity 'relation' »more»

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software