Latarres, Lattices with an Arrow

&
Studia Logica 106 (4):757-788 (2018)
  Copy   BIBTEX

Abstract

A latarre is a lattice with an arrow. Its axiomatization looks natural. Latarres have a nontrivial theory which permits many constructions of latarres. Latarres appear as an end result of a series of generalizations of better known structures. These include Boolean algebras and Heyting algebras. Latarres need not have a distributive lattice.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-017-9765-5

Links

PhilArchive



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

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

Monadic Distributive Lattices.Aldo Figallo, Inés Pascual & Alicia Ziliani - 2007 - Logic Journal of the IGPL 15 (5-6):535-551.
Boolean Algebras and Distributive Lattices Treated Constructively.John L. Bell - 1999 - Mathematical Logic Quarterly 45 (1):135-143.
Infinite substructure lattices of models of Peano Arithmetic.James H. Schmerl - 2010 - Journal of Symbolic Logic 75 (4):1366-1382.
Finite Distributive Lattices As Sums Of Boolean Algebras.Jerzy Kotas & Piotr Wojtylak - 1995 - Reports on Mathematical Logic:35-40.
The Uniqueness Of The Decomposition Of Distributive Lattices Into Sums Of Boolean Lattices.Joanna Grygiel & Piotr Wojtylak - 1997 - Reports on Mathematical Logic:93-102.
A characterization of MV-algebras free over finite distributive lattices.Vincenzo Marra - 2008 - Archive for Mathematical Logic 47 (3):263-276.
Ockham Algebras with Additional Operators.Aldo Figallo, Paolo Landini & Alicia Zillani - 2004 - Logic Journal of the IGPL 12 (6):447-459.
A New View of Effects in a Hilbert Space.Roberto Giuntini, Antonio Ledda & Francesco Paoli - 2016 - Studia Logica 104 (6):1145-1177.
Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras.Thomas Vetterlein - 2008 - Mathematical Logic Quarterly 54 (4):350-367.
Birkhoff-like sheaf representation for varieties of lattice expansions.Hector Gramaglia & Diego Vaggione - 1996 - Studia Logica 56 (1-2):111 - 131.
On ockham algebras: Congruence lattices and subdirectly irreducible algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.
Bounded distributive lattices with strict implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
Priestley duality for some subalgebra lattices.Georges Hansoul - 1996 - Studia Logica 56 (1-2):133 - 149.
On the ranges of algebraic functions on lattices.Sergiu Rudeanu & Dan A. Simovici - 2006 - Studia Logica 84 (3):451 - 468.
On the Ranges of Algebraic Functions on Lattices.Sergiu Rudeanu & Dan A. Simovici - 2007 - Studia Logica 84 (3):451-468.

Analytics

Added to PP
2017-11-18

Downloads
23 (#687,700)

6 months
6 (#531,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.
Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.

Add more citations

References found in this work

Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.
Bounded distributive lattices with strict implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
Boolean Algebras in Visser Algebras.Majid Alizadeh, Mohammad Ardeshir & Wim Ruitenburg - 2016 - Notre Dame Journal of Formal Logic 57 (1):141-150.
Basic Propositional Calculus I.Mohamed Ardeshir & Wim Ruitenberg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.

Add more references