A First Order Nonmonotonic Extension of Constructive Logic

Sorry, there's nothing here.

Cite this paper

@article{Pearce2005AFO, title={A First Order Nonmonotonic Extension of Constructive Logic}, author={David Pearce and Agust{\'i}n Valverde}, journal={Studia Logica}, year={2005}, volume={80}, pages={321-346} }