On Hilbert algebras generated by the order

, &
Archive for Mathematical Logic 61 (1):155-172 (2021)
  Copy   BIBTEX

Abstract

In this paper we study the variety of order Hilbert algebras, which is the equivalent algebraic semantics of the order implicational calculus of Bull.

Categories

Add categories

Keywords

Reprint years

2022

DOI

10.1007/s00153-021-00777-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

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

Pure Hilbert Algebras with Infimum.Aldo Figallo Jr - 2007 - Logic Journal of the IGPL 15 (5-6):527-533.
Hilbert Algebras with a Modal Operator $${\Diamond}$$ ◊.Sergio A. Celani & Daniela Montangie - 2015 - Studia Logica 103 (3):639-662.
The Variety Generated by all the Ordinal Sums of Perfect MV-Chains.Matteo Bianchi - 2013 - Studia Logica 101 (1):11-29.
On the variety of M -generalized łukasiewicz algebras of order N.Júlia Vaz de Carvalho - 2010 - Studia Logica 94 (2):291-305.
Dualities for Bounded Prelinear Hilbert Algebras.Hernán J. San Martín & Valeria A. Sígal - 2022 - Logic Journal of the IGPL 30 (3):409-421.
On the free implicative semilattice extension of a Hilbert algebra.Sergio A. Celani & Ramon Jansana - 2012 - Mathematical Logic Quarterly 58 (3):188-207.
On the Variety of m-generalized Łukasiewicz Algebras of Order n.Júlia Carvalho - 2010 - Studia Logica 94 (2):291-305.
Decomposability of free Łukasiewicz implication algebras.Jose Patricio Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.
Free łukasiewicz and hoop residuation algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
Dynamical Correspondence in a Generalized Quantum Theory.Gerd Niestegge - 2015 - Foundations of Physics 45 (5):525-534.
Negation and BCK‐algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2003 - Mathematical Logic Quarterly 49 (4):336-346.
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
The criterion of Brouwerian and closure algebras to be finitely generated.Leo Esakia & Revaz Grigolia - 1977 - Bulletin of the Section of Logic 6 (2):46-51.
On Generalized I-algebras And 4-valued Modal Algebras.Aldo Figallo & Paolo Landini - 1995 - Reports on Mathematical Logic:3-18.
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras.Marcelo E. Coniglio & Martín Figallo - 2014 - Studia Logica 102 (3):525-539.

Analytics

Added to PP
2021-06-12

Downloads
8 (#1,215,626)

6 months
5 (#441,012)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

On the variety of strong subresiduated lattices.Sergio Celani & Hernán J. San Martín - 2023 - Mathematical Logic Quarterly 69 (2):207-220.

Add more citations

References found in this work

The separation theorem of intuitionist propositional calculus.Alfred Horn - 1962 - Journal of Symbolic Logic 27 (4):391-399.
Some results for implicational calculi.R. A. Bull - 1964 - Journal of Symbolic Logic 29 (1):33-39.
Prior’s OIC nonconservativity example revisited.Lloyd Humberstone - 2014 - Journal of Applied Non-Classical Logics 24 (3):209-235.

Add more references