Number of the records: 1
Church-style type theories over finitary weakly implicative logics
- 1.0431685 - ÚI 2015 AT eng A - Abstract
Běhounek, Libor
Church-style type theories over finitary weakly implicative logics.
Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 131-133
[LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
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 * higher-order logic * weakly implicative logics * teorie typů * logika vyššího řádu * slabě implikační logiky
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0236270
File Download Size Commentary Version Access a0431685.pdf 0 440.4 KB Publisher’s postprint open-access
Number of the records: 1