Modal Logic System N (Vredenduin)


Vredenduin was attempting to build a modal logic without the paradoxes of strict implication that Lewis's systems had. [Vredenduin, 1939, p73-74]

Based on

The original mixes rules and axioms in the numbering. I have left the original numbers, but have pulled the rules out separately. Axioms 1-8 and rules 9-12 were taken from Langford and Lewis, axioms 13-19 were added by Vredenduin.

[Vredenduin, 1939, p74]

Basis for

Go to ...

© Copyright 2006 by John Halleck, All Rights Reserved.
This page is
This page was last modified on September 3rd, 2006.