System V2 (Sobociński)

Notes

Based on

The system V2 is the system S5 + Lp + ((p=>q) + (p=>~q)) [Zeman, 1973, 272]

Basis for


Go to ...


© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/v2.html
This page was last modified on December 5th, 2006