This is a preview. Log in through your library . Journal Information The Journal of Philosophical Logic provides a forum for work at the crossroads of philosophy and logic, old and new, with ...
Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normalform theorems. On the basis of these ...
SUMMARY: At the beginning of the 20th century, philosophical thought was transformed by the discovery of the "new logic", i.e. mathematical or symbolic logic. With this novum organum, philosophers ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback