ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "Non-classical logics"
Non-classical logics
Publikace
Předměty
Osoby
Publikace
Studium
publication
Independence of Axioms in Non-Classical Logics and ATP
2009 |
Filozofická fakulta
publication
Dokazatelnost v hilbertovských kalkulech pro neklasické logiky a ATP
Publikace bez příslušnosti k fakultě
publication
Connections Among Some Non-Classical Logics - interní materiály
2001 |
Filozofická fakulta
publication
Nezávislost axiomů v neklasických logikách a automatické dokazování vět
Publikace bez příslušnosti k fakultě
publication
On the Independence of Axioms in BL and MTL
2012 |
Filozofická fakulta
publication
O nutnosti v básnické řeči
2017 |
Publikace bez příslušnosti k fakultě
publication
SPASS verze 3.5
2009 |
Matematicko-fyzikální fakulta
publication
Logika v právním myšlení
2000 |
Právnická fakulta
publication
Logika: neúplnost, složitost a nutnost
2002 |
Filozofická fakulta
publication
Cut elimination, identity elimination, and interpolation in super-Belnap logics
2017 |
Filozofická fakulta
publication
Logica ludus
2006 |
Filozofická fakulta
publication
General Approach to Inconsistency Lemmas
2017 |
Filozofická fakulta
publication
Význam jako inferenční role
2006 |
Filozofická fakulta
publication
Logic of Questions
Publikace bez příslušnosti k fakultě