Double Negation Operator in Logic N ?/sup>
详细信息 查看全文
- 作者：S. A. Drobyshevich
- 刊名：Journal of Mathematical Sciences
- 出版年：2015
- 出版时间：March 2015
- 年：2015
- 卷：205
- 期：3
- 页码：389-402
- 全文大小：217 KB
- 参考文献：1. P. Cabalar, S. P. Odintsov, and D. Pearce, “Logical foundations of well-founded semantics,-In: / Principles of Knowledge Representation and Reasoning, pp. 25-6, AAAI Press, California (2006).
2. K. Do?en, “Negation as a modal operator,- / Rep. Math. Logic 20, 15-8 (1986).
3. F. Wolter and M. Zakharyaschev, “Intuitionistic modal logics,-In: / Logical Foundations of Mathematics, pp. 227-38, Kluwer Acad. Publ. (1999).
4. V. Sotirov “Modal theories with intuitionistic logic,-In: / Proceedings of the Conference Dedicated to the Memory of A. A. Markov (1903-979), pp. 139-71, Bulgar. Acad. Sci., Sofia (1984).
5. D. Vakarelov “Theory of Negation in Certain Logical Systems: Algebraic and Semantical Approach,-Thesis, Univ. Warsaw (1976).
6. D. Vakarelov “Consistency, completeness and negation,-In: / Paraconsistent Logics: Essays on the Inconsistent, pp. 328-63, Filosophia (1989).
7. D. Vakarelov “The non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation- / Stud. Log. 84, 105-27 (2006). CrossRef
8. M. Bo?i? and K. K. Do?en, “Models for normal intuitionistic modal logics,- / Stud. Log. 43, 217-45 (1984). CrossRef
9. K. Do?en, “Negative modal operators in intuitionistic logic,- / Publ. Inst. Math., Nouv. Sér. 35, 3-4 (1984).
10. R. Routley and V. Routley, “The semantics of first degree entailment,- / No?s 6, 335-59 (1972). CrossRef
11. S. P. Odintsov, “Combining intuitionistic connectives and Routley negation,- / Sib. Electron. Math. Rep. 7, 21-1 (2010).
12. V. Sotirov “The intuitionistic double negation is a modality,-In: / Abstracts of 7th Int. Witgenstein Symp. 22-9 August 1982, Kircherg an Wechsel, Austria, p. 58 (1982).
13. K. Do?en, “Intuitionistic double negation as a necessity operator,- / Publ. Inst. Math., Nouv. Sér. 35, No. 49, 15-0 (1984).
14. M. Bo?i? and K. Do?en, “Axiomatizations of intuitionistic double negation,- / Bull. Sect. Logic, Pol. Acad. Sci. 12, 99-04 (1983).
15. S. P. Odintsov “Glivenko theorem for / N ?/sup>-extension,- / Sib. Electron. Math. Rep. 8, 365-68 (2011).
16. S. A. Drobyshevich and S. P. Odintsov, “Finite model property for negative modalities,- / Sib. Electron. Math. Rep. 10, 1-1 (2013).
17. S. A. Drobyshevich, “A hybrid calculus for logic / N ?/sup>: residual finiteness and decidability-[in Russian], / Algebra Logika 50, No. 3, 351-67; English transl.: / Algebra Logic 50, No. 3, 245-56 (2011). - 刊物类别：Mathematics and Statistics
- 刊物主题：Mathematics
Mathematics
Russian Library of Science - 出版者：Springer New York
- ISSN：1573-8795
文摘