Maximal Deductive Systems and Injective Objects in the Category of Hilbert Algebras

&
Mathematical Logic Quarterly 34 (3):213-220 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19880340305

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Natural dualities for varieties of BL-algebras.Antonio Di Nola & Philippe Niederkorn - 2005 - Archive for Mathematical Logic 44 (8):995-1007.
Algebraic Study of Two Deductive Systems of Relevance Logic.Josep Maria Font & Gonzalo Rodríguez - 1994 - Notre Dame Journal of Formal Logic 35 (3):369-397.
Maximal subalgebras of MVn-algebras. A proof of a conjecture of A. Monteiro.Roberto Cignoli & Luiz Monteiro - 2006 - Studia Logica 84 (3):393 - 405.
Maximal Subalgebras of $\text{MV}_{\text{n}}$ -Algebras. A Proof of a Conjecture of A. Monteiro.Roberto Cignoli & Luiz Monteiro - 2006 - Studia Logica 84 (3):393-405.
On categorical equivalences of commutative BCK-algebras.Anatolij Dvurečenskij - 2000 - Studia Logica 64 (1):21-36.
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras.Marcelo E. Coniglio & Martín Figallo - 2014 - Studia Logica 102 (3):525-539.
On a Definition of a Variety of Monadic ℓ-Groups.José Luis Castiglioni, Renato A. Lewin & Marta Sagastume - 2014 - Studia Logica 102 (1):67-92.
Bell’s Correlations and Spin Systems.Martin Bohata & Jan Hamhalter - 2010 - Foundations of Physics 40 (8):1065-1075.
Counting systems and the First Hilbert problem.Yaroslav Sergeyev - 2010 - Nonlinear Analysis Series A 72 (3-4):1701-1708.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Are There Enough Injective Sets?Peter Aczel, Benno Berg, Johan Granström & Peter Schuster - 2013 - Studia Logica 101 (3):467-482.
On the infinite-valued Łukasiewicz logic that preserves degrees of truth.Josep Maria Font, Àngel J. Gil, Antoni Torrens & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (7):839-868.
New types of hyper MV-deductive systems in hyper MV-algebras.Young Bae Jun, Min Su Kang & Hee Sik Kim - 2010 - Mathematical Logic Quarterly 56 (4):400-405.
Initial Objects, Universal Objects for Squares, Equivalences and Congruences in Relation Semi-Algebras and Algebras.Jean-Pierre Olivier & Dany Serrato - 1995 - Mathematical Logic Quarterly 41 (4):455-475.

Analytics

Added to PP
2013-12-01

Downloads
12 (#1,110,155)

6 months
2 (#1,250,897)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Finitely-based subvarieties of Hilbert algebras are 2-based.Leonardo Cabrer - 2011 - Bulletin of the Section of Logic 40 (3/4):215-220.
Negation and BCK‐algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2003 - Mathematical Logic Quarterly 49 (4):336-346.
Negation and BCK‐algebras.Francisco García Olmedo & Antonio Rodríguez Salas - 2003 - Mathematical Logic Quarterly 49 (4):336-346.

Add more citations

References found in this work

Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.

Add more references