7 results on '"J. Michael Dunn"'
Search Results
2. Canonical extensions and relational completeness of some substructural logics.
3. Quantum logic as motivated by quantum computing.
4. Kripke Models for Linear Logic.
5. Meeting of the Association for Symbolic Logic: Indianapolis.
6. E, R, and gama.
7. Algebraic Completeness Results for R-Mingle and Its Extensions.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.