Funder
Marie Sklodowska-Curie Actions
Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Theoretical Computer Science,Software
Reference28 articles.
1. Balbes R, Dwinger P (1974) Distributive lattices. University of Missouri Press, Columbia
2. Buşneag D (1985) A note on deductive systems of a Hilbert algebra. Kobe J Math 2:29–35
3. Buşneag D, Ghiţǎ M (2010) Some latticial properties of Hilbert algebras. Bull Math Soc Sci Math 53(101 No. 2):87–107
4. Caicedo X, Cignoli R (2001) An algebraic approach to intuitionistic connectives. J Symb Log 66(4):1620–1636
5. Castiglioni JL, San Martín HJ (2012) On some classes of Heyting algebras with successor that have the amalgamation property. Studia Logica 6(6):1255–1269
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献