ℹ️
🇬🇧
Search
Search for publications relevant for "Non-classical logics"
Non-classical logics
Publication
Class
Person
Publication
Programmes
publication
Independence of Axioms in Non-Classical Logics and ATP
2009 |
Faculty of Arts
publication
Provability in Hilbert-Style Calculi for Non-Classical Logics and ATP
Publication without faculty affiliation
publication
Connections Among Some Non-Classical Logics - interní materiály
2001 |
Faculty of Arts
publication
Independence of Axioms in Non-classical Logics and Automated Theorem Proving
Publication without faculty affiliation
publication
On the Independence of Axioms in BL and MTL
2012 |
Faculty of Arts
publication
On Necessity in Poetic Language
2017 |
Publication without faculty affiliation
publication
SPASS Version 3.5
2009 |
Faculty of Mathematics and Physics
publication
Logic in theLegal Thinking
2000 |
Faculty of Law
publication
Logic: Incompleteness, Compexity, and Neccessity
2002 |
Faculty of Arts
publication
Cut elimination, identity elimination, and interpolation in super-Belnap logics
2017 |
Faculty of Arts
publication
Logica ludus
2006 |
Faculty of Arts
publication
General Approach to Inconsistency Lemmas
2017 |
Faculty of Arts
publication
Meaning as an Inferential Role
2006 |
Faculty of Arts
publication
Logic of Questions
Publication without faculty affiliation