|
This article is cited in 4 scientific papers (total in 4 papers)
Classification of Novikov Complete Logics with Extra Logical Constants
A. D. Yashin
Abstract:
We give an exhaustive classification of Novikov complete extensions of the intuitionistic propositional logic in a language with extra logical constants.
Keywords:
intuitionistic logic, logical constant, Novikov completeness.
Received: 12.07.2000 Revised: 10.04.2003
Citation:
A. D. Yashin, “Classification of Novikov Complete Logics with Extra Logical Constants”, Algebra Logika, 42:3 (2003), 366–383; Algebra and Logic, 42:3 (2003), 207–216
Linking options:
https://www.mathnet.ru/eng/al35 https://www.mathnet.ru/eng/al/v42/i3/p366
|
Statistics & downloads: |
Abstract page: | 269 | Full-text PDF : | 112 | References: | 40 | First page: | 1 |
|