Switch to: References

Citations of:

A First Order Nonmonotonic Extension of Constructive Logic

David Pearce & Agustín Valverde

Studia Logica 80 (2):321-346 (2005)

Add citations

You must login to add citations.

Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.Dimiter Vakarelov - 2006 - Studia Logica 84 (1):105-127.details The paper is devoted to the contributions of Helena Rasiowa to the theory of non-classical negation. The main results of Rasiowa in this area concerns–constructive logic with strong (Nelson) negation. Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Negation in Philosophy of Language Polish Philosophy in European Philosophy Direct download (4 more) Export citation Bookmark 7 citations

1