Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Theoretical Computer Science,Software
Reference21 articles.
1. Aguzzoli S, Busaniche M, Gerla B, Marcos MA (2017) On the category of Nelson paraconsistent lattices. J Log Comput 27(7):2227–2250
2. Almukdad A, Nelson D (1984) Constructible falsity and inexact predicates. J Symb Log 49:231–233
3. Blok WJ, Köhler P, Pigozzi D (1984) On the structure of varieties with equationally definable principal congruences II. Algebra Universalis 18:334–379
4. Blok WJ, Pigozzi D (1989) Algebraizable logics. Mem Amer Math Soc A.M.S, Providence, 396
5. Blok WJ, Pigozzi D (1994) On the structure of varieties with equationally definable principal congruences III. Algebra Universalis 32:545–608
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献