Original title:
Non-Equivalence of Some Implicational Deduction Theorems
Authors:
Chvalovský, Karel
Document type: Papers
Conference/Event: Doktorandské dny 2010 Ústavu informatiky AV ČR, v. v. i., Heřmanice v Podještědí (CZ), 2010-09-29 / 2010-10-01
Year:
2010
Language:
eng
Keywords:
automated theorem proving;
contraction-free logics;
implicational deduction theorems
Project no.: CEZ:AV0Z10300504 (
CEP),
IAA900090703 (
CEP),
GD401/09/H007 (
CEP),
73109/2009
Funding provider: GA AV ČR, GA ČR, GA UK
Host item entry: Doktorandské dny '10, ISBN 978-80-7378-133-0
Rights: This work is protected under the Copyright Act No.
121/2000 Coll.
Institution: Institute of Computer Science AS ČR
(
web)
Original record: http://hdl.handle.net/11104/0188809
Permalink: http://www.nusl.cz/ntk/nusl-41751
The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Conference materials > Papers