Taming paraconsistent (and other) logics: An algorithmic approach

Keyphrases

• Algorithmic Approach 100%
• Paraconsistent 100%
• Connectives 50%
• Prolog 50%
• David Hilbert 50%
• Unary 50%
• Analytic Calculi 50%
• Sequent Calculus 50%
• Classical Logic 50%
• Hilbert Calculus 50%

Mathematics

• Calculus 100%
• Classical Logic 33%
• Unary Connective 33%
• Positive Fragment 33%

Computer Science

• Algorithmic Approach 100%
• Sequent Calculus 50%