Natural deduction for dual-intuitionistic logic (Q694491): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s11225-012-9417-8 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1982413486 / rank | |||
Normal rank | |||
Revision as of 20:15, 19 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Natural deduction for dual-intuitionistic logic |
scientific article |
Statements
Natural deduction for dual-intuitionistic logic (English)
0 references
12 December 2012
0 references
The paper is dedicated to studying the dual-intuitionistic logic. The natural deduction system NDJ, which is a dual counterpart of the Gentzen system NJ, is constructed. The duality is proven in Theorem 3.2. It is also observed in Theorem 2.3 that NDJ is equivalent to the system LDJ, introduced by \textit{I. Urbas} [Notre Dame J. Formal Logic 37, No. 3, 440--451 (1996; Zbl 0869.03008)]. It is also observed that NDJ enjoys the dual deduction theorem. In Section 4, the duality between NDJ and NJ is extended to the systems NDK and NK.
0 references
dual-intuitionistic logic
0 references
natural deduction
0 references
multiple conclusion rules
0 references
