Logiweb(TM)

8.7 Sequent calculus

Prev Up Next Page 354 of 800 Search internet

8.7.1 Introduction
8.7.2 Sequents
8.7.3 Sequent operators
8.7.4 Sequent operator definitions
8.7.5 Proof checking

Prev Up Next Page 354 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05