On Kalman’s functor for bounded hemi-implicative semilattices and hemi-implicative lattices

&
Logic Journal of the IGPL 26 (1):47-82 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzx052

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

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

l-Hemi-Implicative Semilattices.Hernán Javier San Martín & José Luis Castiglioni - 2018 - Studia Logica 106 (4):675-690.
Sub-Hilbert Lattices.José Luis Castiglioni, Víctor Fernández, Héctor Federico Mallea & Hernán Javier San Martín - 2023 - Studia Logica 111 (3):431-452.
Positive implicative bck-algebras with con-dition (s) and implicative semilattices.Janis Cırulis - 1999 - Bulletin of the Section of Logic 28 (3):131-133.
Implicative Semi-Lattices.William C. Nemitz - 1966 - Journal of Symbolic Logic 31 (2):273-273.
On the free implicative semilattice extension of a Hilbert algebra.Sergio A. Celani & Ramon Jansana - 2012 - Mathematical Logic Quarterly 58 (3):188-207.
Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4.Gemma Robles & José M. Méndez - 2024 - Logic Journal of the IGPL 32 (3):572-572.
On closure endomorphisms of implicative semilattices.Janis Cirulis - 1985 - Bulletin of the Section of Logic 14 (2):52-55.
Locally Finite Reducts of Heyting Algebras and Canonical Formulas.Guram Bezhanishvili & Nick Bezhanishvili - 2017 - Notre Dame Journal of Formal Logic 58 (1):21-45.
On Special Implicative Filters.Josep Maria Font - 1999 - Mathematical Logic Quarterly 45 (1):117-126.
William C. Nemitz. Implicative semi-lattices. Transactions of the American Mathematical Society, vol. 117 , pp. 128–142. [REVIEW]George Gratzer - 1966 - Journal of Symbolic Logic 31 (2):273.

Analytics

Added to PP
2018-01-24

Downloads
51 (#431,686)

6 months
7 (#736,605)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ramon Jansana Ferrer
Universitat de Barcelona

Citations of this work

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Foundations of Mathematical Logic.William Craig - 1963 - Journal of Symbolic Logic 45 (2):377-378.
Bounded distributive lattices with strict implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.

View all 8 references / Add more references