| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662234 | Annals of Pure and Applied Logic | 2010 | 12 Pages |
Abstract
We introduce a notion of the Kripke model for classical logic for which we constructively prove the soundness and cut-free completeness. We discuss the novelty of the notion and its potential applications.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
