Latarres, lattices with an arrow
type: Item
instance of: scholarly article
title: Latarres, lattices with an arrow
zbMATH Open document ID: 1437.06005
author: Mohammad Ardeshir
author: Wim Ruitenburg
published in: Studia Logica
publication date: 2018-10-02T00:00:00Z
Mathematics Subject Classification ID: 06B05
Mathematics Subject Classification ID: 06D20
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 6946462
zbMATH Keywords: lattice
zbMATH Keywords: implication
zbMATH Keywords: algebraic logic
zbMATH Keywords: Visser algebra
MaRDI profile type: Publication
full work available at URL: s11225-017-9765-5
OpenAlex ID: W2769488748
cites work: Counting weak Heyting algebras on finite distributive lattices
cites work: Boolean algebras in Visser algebras
cites work: Basic Propositional Calculus I
cites work: Q4740609
cites work: Bounded distributive lattices with strict implication
cites work: Q4771385
cites work: A propositional logic with explicit fixed points
DOI: 10.1007/S11225-017-9765-5
description: scientific article; zbMATH DE number 6946462