Modal Logic System N (Vredenduin)

Notes

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 http://www.cc.utah.edu/~nahaj/logic/structures/systems/n.html
This page was last modified on September 3rd, 2006.