Graduate studies at Western
|Abstract||Abelian Logic is a paraconsistent logic discovered independently by Meyer and Slaney  and Casari . This logic is also referred to as Abelian Group Logic (AGL)  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 α, α → β ⇒ β.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Robert K. Meyer (2008). Ai, Me and Lewis (Abelian Implication, Material Equivalence and C I Lewis 1920). Journal of Philosophical Logic 37 (2):169 - 181.
Francesco Paoli, Matthew Spinks & Robert Veroff (2008). Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties. Logica Universalis 2 (2):209-233.
Gregory L. Cherlin & Peter H. Schmitt (1981). Undecidable Lt Theories of Topological Abelian Groups. Journal of Symbolic Logic 46 (4):761 - 772.
John K. Slaney & Robert K. Meyer (1992). A Structurally Complete Fragment of Relevant Logic. Notre Dame Journal of Formal Logic 33 (4):561-566.
Paul C. Eklof (1972). Some Model Theory of Abelian Groups. Journal of Symbolic Logic 37 (2):335-342.
Ryo Kashima & Norihiro Kamide (1999). Substructural Implicational Logics Including the Relevant Logic E. Studia Logica 63 (2):181-212.
Francesco Paoli (2000). A Common Abstraction of MV-Algebras and Abelian L-Groups. Studia Logica 65 (3):355-366.
Andrzej Pelc (1984). Idempotent Ideals on Abelian Groups. Journal of Symbolic Logic 49 (3):813-817.
Francis Oger (1984). The Model Theory of Finitely Generated Finite-by-Abelian Groups. Journal of Symbolic Logic 49 (4):1115-1124.
A. Avron (1998). Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening. Journal of Symbolic Logic 63 (3):831-859.
Ruggero Pagnan (2013). Syllogisms in Rudimentary Linear Logic, Diagrammatically. Journal of Logic, Language and Information 22 (1):71-113.
Francis Oger (2001). Elementary Equivalence for Abelian-by-Finite and Nilpotent Groups. Journal of Symbolic Logic 66 (3):1471-1480.
Frank O. Wagner (1993). Quasi-Endomorphisms in Small Stable Groups. Journal of Symbolic Logic 58 (3):1044-1051.
Mihai Prunescu (2002). A Model-Theoretic Proof for P ≠ NP Over All Infinite Abelian Groups. Journal of Symbolic Logic 67 (1):235 - 238.
Saharon Shelah & Pauli Vaisanen (2000). On Inverse Γ-Systems and the Number of L∞Λ- Equivalent, Non-Isomorphic Models for Λ Singular. Journal of Symbolic Logic 65 (1):272 - 284.
Added to index2010-12-22
Total downloads7 ( #142,372 of 739,304 )
Recent downloads (6 months)2 ( #37,030 of 739,304 )
How can I increase my downloads?