Complexity Classifications via Algebraic Logic

Keyphrases

• Active Research 50%
• Algebraic Approach 50%
• Algebraic Characterization 50%
• Algebraic Logic 100%
• Complexity Classification 100%
• Comprehensive Classification 50%
• Computational Logic 50%
• Cylindric Algebras 50%
• Decidable Logic 50%
• Expressive Capacity 50%
• First-order Logic 100%
• General Relation 50%
• Logical Systems 50%
• Relation Algebra 50%

Mathematics

• Algebraic Logic 100%
• Decidability 100%
• Logical System 50%
• Wide Range 50%

Computer Science

• Active Research 50%
• Classification Complexity 100%
• Computational Logic 50%