Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Theoretical Computer Science,Software
Reference8 articles.
1. Burges J (1984) Basic tense logic. In: Gabbay DM, Günther F (eds) Handbook of philosophical logic, vol II, D. Reidel Publ Comp, pp 89–139
2. Chajda I, Halaš R, Kühr J (2009) Many-valued quantum algebras. Algebra Universalis 60:63–90
3. Chajda I, Kolařík M (2012) Dynamic effect algebras. Mathematica Slovaca (to appear)
4. Diaconescu D, Georgescu G (2007) Tense Operators on MV-Algebras and Łukasiewicz-Moisil algebras. Fundamenta Informaticae 81:379–408
5. Dvurečenskij A, Pulmannová S (2000) New trends in quantum structures, Kluwer Academic Publishers, Dordrecht, Ister Sci, Bratislava
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献