In the past sixty years or so, a real forest of intuitionistic models for classical theories has grown. In this paper we will compare intuitionistic models of first order classical theories according ...
We explore a relation we call 'anticipation' between formulas, where A anticipates B (according to some logic) just in case B is a consequence (according to that logic, presumed to support some ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback