We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Algebraic logic for the negation fragment of classical logic

Abstract: The general aim of this article is to study the negation fragment of classical logic within the framework of contemporary (Abstract) Algebraic Logic. More precisely, we shall find the three classes of algebras that are canonically associated with a logic in Algebraic Logic, that is, we find the classes $\Alg^*$, $\Alg$ and the intrinsic variety of the negation fragment of classical logic. In order to achieve this, firstly we propose a Hilbert-style axiomatization for this fragment. Then, we characterize the reduced matrix models and the full generalized matrix models of this logic. Also, we classify the negation fragment in the Leibniz and Frege hierarchies.
Comments: 18 pages
Subjects: Logic (math.LO)
Cite as: arXiv:2210.01709 [math.LO]
  (or arXiv:2210.01709v1 [math.LO] for this version)

Submission history

From: Luciano Javier González PhD. [view email]
[v1] Tue, 4 Oct 2022 16:12:57 GMT (14kb)

Link back to: arXiv, form interface, contact.