- Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkul.G. Kreisel - 1957 - Archive for Mathematical Logic 3 (3-4):74.details
|
|
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.details
|
|
Topology via Logic.P. T. Johnstone & Steven Vickers - 1991 - Journal of Symbolic Logic 56 (3):1101.details
|
|
Remarks on special lattices and related constructive logics with strong negation.Piero Pagliani - 1990 - Notre Dame Journal of Formal Logic 31 (4):515-528.details
|
|
Nelson algebras through Heyting ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.details
|
|
Notes on N-lattices and constructive logic with strong negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.details
|
|
Some results on intermediate constructive logics.Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza & Gabriele Usberti - 1989 - Notre Dame Journal of Formal Logic 30 (4):543-562.details
|
|
A constructivism based on classical truth.Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi & Gabriele Usberti - 1988 - Notre Dame Journal of Formal Logic 30 (1):67-90.details
|
|
(1 other version)Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.details
|
|
On the unity of logic.Jean-Yves Girard - 1993 - Annals of Pure and Applied Logic 59 (3):201-217.details
|
|
Situations and Attitudes.Jon Barwise & John Perry - 1983 - Cambridge, Mass.: MIT Press. Edited by John Perry.details
|
|
(2 other versions)Situations and attitudes.Jon Barwise & John Perry - 1981 - Journal of Philosophy 78 (11):668-691.details
|
|
A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns.Piero Pagliani & Mihir Chakraborty - 2008 - Dordrecht, Netherland: Springer.details
|
|
Rough sets and three-valued structures.Luisa Iturrioz - 1999 - In E. Orłowska (ed.), Logic at Work. Heidelberg. pp. 24--596.details
|
|
Rough sets.Zdzislaw Pawlak, Jerzy Grzymala-Busse, Roman Slowinski & Wojciech Ziarko - 1995 - Commun. Acm 38 (11):88--95.details
|
|