Independence of Axioms in Non-classical Logics and Automated Theorem proving

Bibliografické údaje

Autoři

• Karel Chvalovský

Rok vydání

2010

Typ publikace

Abstrakt

Periodikum

Tenth International Conference on Fuzzy Sets Theory and Applications

Projekty

• Logické modely usuzovaní s vagními informacemi
• Logické základy sémantiky

Bibliografická citace

CHVALOVSKÝ, Karel. Independence of Axioms in Non-classical Logics and Automated Theorem proving. In: KLEMENT, P.E., MESIAR, R., STRUK, P., DROBNÁ, E., eds. Tenth International Conference on Fuzzy Sets Theory and Applications. Liptovský Mikuláš: Armed Forces Academy of General Milan Rastislav Štefánik, 2010, S. 45-45. ISBN 978-80-8040-391-1.

ID

338517