Number of the records: 1
Notes on Condensed Detachment
- 1.0364974 - ÚI 2012 CZ eng K - Conference Paper (Czech conference)
Chvalovský, Karel
Notes on Condensed Detachment.
Doktorandské dny '11. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2011 - (Kuželová, D.; Hakl, F.), s. 35-40. ISBN 978-80-7378-170-5.
[Doktorandské dny 2011 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 05.10.2011-07.10.2011]
Institutional research plan: CEZ:AV0Z10300504
Keywords : propositional logic * Hilbert-style proof systems * the rule of condensed detachment
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0200324
File Download Size Commentary Version Access 0364974.pdf 16 151.3 KB Publisher’s postprint open-access
Number of the records: 1