Provability in Hilbert-Style Calculi for Non-Classical Logics and ATP

Bibliographic details

Authors

Karel Chvalovský

Publication year

2010

Publication type

Abstrakt

Periodical

Young Research Forum

Projects

• Mathematical Fuzzy Logic in Computer Science
• Logical foundations of semantics

Bibliographic citation

CHVALOVSKÝ, Karel. Provability in Hilbert-Style Calculi for Non-Classical Logics and ATP. In: STREJČEK, J., ed. Young Research Forum. Brno, 2010, S. 11-11. ISBN 978-80-87342-09-1.

ID

346961