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

Bibliografické údaje

Autoři

• Karel Chvalovský

Rok vydání

2010

Typ publikace

Abstrakt

Periodikum

Young Research Forum

Projekty

• Matematická fuzzy logika v informatice
• Logické základy sémantiky

Bibliografická citace

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