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

Bibliographic details

Authors

Karel Chvalovský

Publication year

2010

Publication type

Abstrakt

Periodical

Tenth International Conference on Fuzzy Sets Theory and Applications

Projects

• Logical Models of Reasoning with Vague Information
• Logical foundations of semantics

Bibliographic citation

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