Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation

Authors:	Dimiter Vakarelov

Institution:	(1) Department of Mathematical Logic Faculty of Mathematics and Informatics Sofia University, Sofia, Bulgaria

Abstract:	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 negation and some of its generalizations: minimal negation of Johansson and semi-negation.We discuss also the impact of Rasiowa works on the theory of non-classical negation.A lecture presented at the International Conference Trends in Logic III : A. Mostowski, H. Rasiowa and C. Rauszer in memoriam, Warsaw, Ruciane-Nida September 23-26, 2005.

Keywords:	intuitionistic negation dual intuitionistic negation minimal negation seminegation regular negation Nelson negation Nelson algebras twist construction Kripke semantics
本文献已被 SpringerLink 等数据库收录！