This paper studies the relationship between Argumentation Logic (AL), a recently defined logic based on the study of argumentation in AI, and classical Propositional Logic (PL). In particular, it ...

Solving weighing puzzles, which are ancient, shows how the brain employs different forms of logic to solve both practical and theoretical problems.

Propositional logic is also called propositional calculus, sentential logic, statement logic and sentence logic. It is a formalism that is useful for analyzing certain arguments (deductions) that ...

We show that the relational semantics of the Lambek calculus, both nonassociative and associative, is also sound and complete for its extension with classical propositional logic. Then, using ...

In only its second year, the International Logic Olympiad is already booming as logic becomes more and more crucial in our ever changing world ...

Key points Logical thinking unfolds in different ways. Weighing puzzles involve the use of various forms of logic. The puzzles here are exercises in differentiated logical thinking.