Linearization of Proofs in Propositional Hilbert Systems

Bibliographic details

Authors

Karel Chvalovský

Publication year

2012

Publication type

Abstrakt

Periodical

Doktorandské dny '12

Projects

• Mathematical Fuzzy Logic in Computer Science

Bibliographic citation

CHVALOVSKÝ, Karel. Linearization of Proofs in Propositional Hilbert Systems. In: KUŽELOVÁ, D., HAKL, F., eds. Doktorandské dny '12. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2012, S. 21-21. ISBN 978-80-7278-217-7.

ID

380881