Number of the records: 1
A ground many-valued type theory and its extensions
- 1.0427494 - ÚI 2015 AT eng A - Abstract
Běhounek, Libor
A ground many-valued type theory and its extensions.
Graded Logical Approaches and Their Applications. Linz: Johannes Kepler Universität, 2014 - (Flaminio, T.; Godo, L.; Gottwald, S.; Klement, E.). s. 15-18
[Linz Seminar on Fuzzy Set Theory /35./. 18.02.2014-22.02.2014, Linz]
R&D Projects: GA MŠMT ED1.1.00/02.0070
Grant - others:GA MŠk EE2.3.30.0010
Institutional support: RVO:67985807
Keywords : type theory * many-valued logics * higher-order logic * teorie typů * vícehodnotové logiky * logika vyššího řádu
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0233024
File Download Size Commentary Version Access a0427494.pdf 0 96.6 KB Publisher’s postprint open-access
Number of the records: 1