Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Theoretical Computer Science,Software
Reference27 articles.
1. Avron A (2009) Multi-valued semantics: why and how. Studia Logica 92:163–182
2. Avron A, Zohar Y (2017) Non-deterministic matrices in action: expansions, refinements, and rexpansions. In: 2017 IEEE 47th international symposium on multiple-valued logic (ISMVL), pp 118–123
3. Béziau J-Y, Coniglio M (2011) To distribute or not to distribute? Logic J IGPL 19(4):566–583
4. Burris SN, Sankappanavar HP (1981) A course in universal algebra. Springer, Berlin.
http://www.thoralf.uwaterloo.ca/htdocs/ualg.html
5. Caleiro C, Ramos J (2007) Combining classical and intuitionistic implications. In: Konev B, Wolter F (eds) FroCoS 2007: frontiers of combining systems, LNAI. Springer, New York, pp 118–132
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献