Decidable Theory
A theory with a decision procedure, allowing algorithmic determination of truth or…
Dagger: The Joint Denial (NOR) Gate
Dagger represents the logical NOR gate, a fundamental concept in digital electronics.…
Cut Elimination
A fundamental procedure in proof theory that systematically removes 'cuts' from a…
Cut in Proof Theory
A cut rule in proof theory introduces an intermediate conclusion within a…
Curry’s Paradox
Curry's paradox is a logical paradox that emerges from self-referential statements asserting…
Course of Values Recursion
A fundamental principle in mathematics and logic, course of values recursion defines…
Counterpart Theory in Modal Logic
Counterpart theory, proposed by David Lewis, offers a philosophical interpretation of modal…
Counternecessary Conditional
A conditional statement exploring hypothetical scenarios against a backdrop of necessary truths.…
Countermodel: Demonstrating Argument Invalidity
A countermodel reveals an argument's invalidity by constructing a scenario where all…
Counterfactual Logic
Counterfactual logic explores conditional statements about what would have happened if something…