Wyniki
-
Compatibility and relevance: Bolzano and Orlov
Werner Stelzner
Logic and Logical Philosophy 10 (2002) s. 137-171 -
Towards intuitionistic dynamic logic
J.W. Degen, J.M. Werner
Logic and Logical Philosophy , 15 /4 (2006) s. 305-324 -
Why topology in the minimalist foundation must be pointfree
Maria Emilia Maietti, Giovanni Sambin
Logic and Logical Philosophy , 22 /2 (2013) s. 167-199