Subscribe to thousands of academic journals for just $40/month
Read and share the articles you need for your research, all in one place.

Uniqueness of Normal Proofs in Implicational Intuitionistic Logic

Details

Publisher
Kluwer Academic Publishers
Copyright
Copyright © 1999 by Kluwer Academic Publishers
Subject
Philosophy; Logic; Artificial Intelligence (incl. Robotics); Semantics
ISSN
0925-8531
eISSN
1572-9583
D.O.I.
10.1023/A:1008254111992
Publisher site
See Article on Publisher Site
Expand Tray Hide Tray

Loading next page...

End of preview. The entire article is 26 pages. Rent for Free

 
/lp/springer-journal/uniqueness-of-normal-proofs-in-implicational-intuitionistic-logic-fwZqLSVaaS

Loading...