- 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
Semi-intuitionistic Logic with Strong Negation
Studia Logica 106 (2):281-293 (2018)
Abstract
Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitionistic logic with strong negation is introduced and proved to be complete with respect to that class of algebras. An axiomatic extension is proved to have as algebraic semantics the class of Nelson algebras.My notes
Similar books and articles
Very True Operators on Pre-semi-Nelson Algebras.Shokoofeh Ghorbani - forthcoming - Studia Logica:1-26.
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic.Diego Castaño & Juan Manuel Cornejo - 2016 - Studia Logica 104 (6):1245-1265.
Fragments of Quasi-Nelson: The Algebraizable Core.Umberto Rivieccio - 2022 - Logic Journal of the IGPL 30 (5):807-839.
Fragments of quasi-Nelson: residuation.U. Rivieccio - 2023 - Journal of Applied Non-Classical Logics 33 (1):52-119.
An Algebraic Study of Tense Operators on Nelson Algebras.A. V. Figallo, G. Pelaitay & J. Sarmiento - 2020 - Studia Logica 109 (2):285-312.
Strong negation in intuitionistic style sequent systems for residuated lattices.Michał Kozak - 2014 - Mathematical Logic Quarterly 60 (4-5):319-334.
On Some Semi-Intuitionistic Logics.Juan M. Cornejo & Ignacio D. Viglizzo - 2015 - Studia Logica 103 (2):303-344.
Priestley Duality for Paraconsistent Nelson’s Logic.Sergei P. Odintsov - 2010 - Studia Logica 96 (1):65-93.
Analytics
Added to PP
2017-06-29
Downloads
32 (#487,392)
6 months
5 (#837,449)
2017-06-29
Downloads
32 (#487,392)
6 months
5 (#837,449)
Historical graph of downloads
Citations of this work
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions.Juan Manuel Cornejo & Hanamantagouda P. Sankappanavar - 2022 - Bulletin of the Section of Logic 51 (4):555-645.
A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras.Juan Manuel Cornejo & Hernán Javier San Martín - 2018 - Logic Journal of the IGPL 26 (4):408-428.
Semi-Heyting Algebras and Identities of Associative Type.Juan M. Cornejo & Hanamantagouda P. Sankappanavar - 2019 - Bulletin of the Section of Logic 48 (2).
Very True Operators on Pre-semi-Nelson Algebras.Shokoofeh Ghorbani - forthcoming - Studia Logica:1-26.
References found in this work
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Intuitionistic logic, model theory and forcing.Melvin Fitting - 1969 - Amsterdam,: North-Holland Pub. Co..
Notes on N-lattices and constructive logic with strong negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.
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-ktvwr uwo