论文信息 - Latarres, Lattices with an Arrow

Latarres, Lattices with an Arrow

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.

Mohammad Ardeshir | Wim Ruitenburg

[1] N. Jacobson,et al. Basic Algebra I , 1976 .

[2] Mohammad Ardeshir,et al. Basic Propositional Calculus I , 1998, Math. Log. Q..

[3] Majid Alizadeh,et al. Counting weak Heyting algebras on finite distributive lattices , 2015, Log. J. IGPL.

[4] Albert Visser,et al. A propositional logic with explicit fixed points , 1981 .

[5] Majid Alizadeh,et al. Boolean Algebras in Visser Algebras , 2016, Notre Dame J. Formal Log..

[6] Ramon Jansana,et al. Bounded distributive lattices with strict implication , 2005, Math. Log. Q..