A ground many-valued type theory and its extensions
Bibliographic details
- Authors
- Libor Běhounek
- Publication year
- Publication type
- Abstrakt
- Periodical
- Graded Logical Approaches and Their Applications
- Bibliographic citation
- BĚHOUNEK, Libor. A ground many-valued type theory and its extensions. In: FLAMINIO, T., GODO, L., GOTTWALD, S., KLEMENT, E.P., eds. Graded Logical Approaches and Their Applications. Linz: Johannes Kepler Universität, 2014, S. 15-18.
- ID
- 427494