- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation
Studia Logica 84 (1):105-127 (2006)
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.Author's Profile
My notes
Similar books and articles
Review: H. Rasiowa, $mathcal{N}$-Lattices and Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-118.
Review: A. Bialynicki-Birula, H. Rasiowa, On Constructible Falsity in the Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
Rasiowa H.. -lattices and constructive logic with strong negation. Fundamenta mathematicae, vol. 46 , pp. 61–80.David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-118.
Mathematical Fuzzy Logic – What It Can Learn from Mostowski and Rasiowa.Petr Hájek - 2006 - Studia Logica 84 (1):51-62.
Białynicki-Birula A. and Rasiowa H.. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 , pp. 287–310. [REVIEW]David Nelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
Review: Helena Rasiowa, An Algebraic Approach to Non-Classical Logics. [REVIEW]Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.
A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310. [REVIEW]V. A. Jankov, Sue Walker & Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310. [REVIEW]Gene F. Rose, V. A. Jankov, Sue Walker & Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa.Helena Rasiowa - 2001 - Studia Logica 69 (3):440-442.
Analytics
Added to PP
2009-01-28
Downloads
44 (#352,336)
6 months
10 (#382,663)
2009-01-28
Downloads
44 (#352,336)
6 months
10 (#382,663)
Historical graph of downloads
Author's Profile
Citations of this work
Constructive negation, implication, and co-implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.
Logics and Falsifications: A New Perspective on Constructivist Semantics.Andreas Kapsner - 2014 - Cham, Switzerland: Springer.
Proofs, Disproofs, and Their Duals.Heinrich Wansing - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 483-505.
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.
Towards a Formal Ontology of Information. Selected Ideas of K. Turek.Roman Krzanowski - 2016 - Zagadnienia Filozoficzne W Nauce 61:23-52.
References found in this work
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-sqlzn uwo