A non-deterministic view on non-classical negations

Keyphrases

• Non-deterministic 100%
• Classical Negation 100%
• Large Families 50%
• Gentzen 50%
• Decision Procedure 50%
• Underlying Logic 50%
• Nondeterminism 50%
• Intuitionistic Logic 50%
• Propositional Constants 50%
• Classical Logic 50%

Computer Science

• Decision Procedure 100%
• Soundness 100%
• Intuitionistic Logic 100%

Mathematics

• Positive Fragment 100%
• Classical Logic 50%
• Decision Procedure 50%
• Intuitionistic Logic 50%