Basket

0420892 - ÚI 2014 RIV PL eng J - Journal Article
Chvalovský, Karel
Note on D-Completeness and Prelinearity.
Bulletin of the Section of Logic. Roč. 42, 3-4 (2013), s. 111-118. ISSN 0138-0680
R&D Projects: GA ČR GAP202/10/1826; GA ČR GD401/09/H007
Institutional support: RVO:67985807
Keywords : logic * proof theory * condensed detachment * prelinearity
Subject RIV: BA - General Mathematics
http://www.filozof.uni.lodz.pl/bulletin/pdf/42_34_2.pdf
Permanent Link: http://hdl.handle.net/11104/0227351