[FOM] Combining classical and intuitionistic features in one logic

[Vladik Kreinovich]

Alex's paper describes an intuitionistic first order logic restricted to the 
case when all the elementary formulas from the propositional fragment are 
decidable (so propositional fragment is classical). Intuitionstic arithmetic 
is an example of such a theory. 

He describes it in a nice way, it is interesting to know whether it was done 
before. 

> I has been curious about combining the 'best' of classical and 
> intuitionistic logics in one intermediate logic. 
...
> http://www.mathpreprints.com/math/Preprint/asakharov/20040206/3/
> Alex Sakharov