Steven Haynes

Follow:
15195 Articles

Decidable Theory

A theory with a decision procedure, allowing algorithmic determination of truth or…

Steven Haynes

Dagger: The Joint Denial (NOR) Gate

Dagger represents the logical NOR gate, a fundamental concept in digital electronics.…

Steven Haynes

Cut Elimination

A fundamental procedure in proof theory that systematically removes 'cuts' from a…

Steven Haynes

Cut in Proof Theory

A cut rule in proof theory introduces an intermediate conclusion within a…

Steven Haynes

Curry’s Paradox

Curry's paradox is a logical paradox that emerges from self-referential statements asserting…

Steven Haynes

Course of Values Recursion

A fundamental principle in mathematics and logic, course of values recursion defines…

Steven Haynes

Counterpart Theory in Modal Logic

Counterpart theory, proposed by David Lewis, offers a philosophical interpretation of modal…

Steven Haynes

Counternecessary Conditional

A conditional statement exploring hypothetical scenarios against a backdrop of necessary truths.…

Steven Haynes

Countermodel: Demonstrating Argument Invalidity

A countermodel reveals an argument's invalidity by constructing a scenario where all…

Steven Haynes

Counterfactual Logic

Counterfactual logic explores conditional statements about what would have happened if something…

Steven Haynes