Axiomatic Extensions of IMT3 Logic

Studia Logica 81 (3):311-324 (2005)
  Copy   BIBTEX

Abstract

In this paper we characterize, classify and axiomatize all axiomatic extensions of the IMT3 logic. This logic is the axiomatic extension of the involutive monoidal t-norm logic given by ¬φ3 ∨ φ. For our purpose we study the lattice of all subvarieties of the class IMT3, which is the variety of IMTL-algebras given by the equation ¬(x 3) ∨ x ≈ ⊤, and it is the algebraic counterpart of IMT3 logic. Since every subvariety of IMT3 is generated by their totally ordered members, we study the structure of all IMT3-chains in order to determine the lattice of all subvarieties of IMT3. Given a family of IMT3-chains the number of elements of the largest odd finite subalgebra in the family and the number of elements of the largest even finite subalgebra in the family turns out to be a complete classifier of the variety generated. We obtain a canonical set of generators and a finite equational axiomatization for each subvariety and, for each corresponding logic, a finite set of characteristic matrices and a finite set of axioms.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Axiomatic extensions of the milpotent minimum logic.J. Braso - 2003 - Reports on Mathematical Logic:113-123.
Implicit connectives of algebraizable logics.Xavier Caicedo - 2004 - Studia Logica 78 (1-2):155 - 170.
Generalized ordinal sums and translations.Nikolaos Galatos - 2011 - Logic Journal of the IGPL 19 (3):455-466.
A set of axioms for nonstandard extensions.Abhijit Dasgupta - 2011 - Mathematical Logic Quarterly 57 (5):485-493.
An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.
A splitting logic in NExt(KTB).Yutaka Miyazaki - 2007 - Studia Logica 85 (3):381 - 394.
Axiomatic Method and Category Theory.Rodin Andrei - 2013 - Cham: Imprint: Springer.

Analytics

Added to PP
2009-01-28

Downloads
30 (#459,346)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?