Algebraizing A→

Abstract

Abelian Logic is a paraconsistent logic discovered independently by Meyer and Slaney [10] and Casari [2]. This logic is also referred to as Abelian Group Logic (AGL) [12] since its set of theorems is sound and complete with respect to the class of Abelian groups. In this paper we investigate the pure implication fragment A→ of Abelian logic. This is an extension of the implication fragment of linear logic, BCI. A Hilbert style axiomatic system for A→ can obtained by adding the axiom A (dubbed the ‘axiom of relativity’ by Meyer and Slaney) to BCI, as follows: B (α → β) → ((γ → α) → (γ → β)) C (α → (β → γ)) → ((β → (α → γ)) I α → α A ((α → β) → β) → α MP α, α → β ⇒ β.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

A structurally complete fragment of relevant logic.John K. Slaney & Robert K. Meyer - 1992 - Notre Dame Journal of Formal Logic 33 (4):561-566.
Some model theory of Abelian groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.
Idempotent ideals on Abelian groups.Andrzej Pelc - 1984 - Journal of Symbolic Logic 49 (3):813-817.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Syllogisms in Rudimentary Linear Logic, Diagrammatically.Ruggero Pagnan - 2013 - Journal of Logic, Language and Information 22 (1):71-113.
Quasi-endomorphisms in small stable groups.Frank O. Wagner - 1993 - Journal of Symbolic Logic 58 (3):1044-1051.

Analytics

Added to PP
2010-12-22

Downloads
18 (#836,872)

6 months
1 (#1,478,781)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references