Nonstandard connectives of intuitionistic propositional logic (Q1111536): Difference between revisions
From MaRDI portal
Changed an Item |
Normalize DOI. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1305/ndjfl/1093637931 / rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1305/ndjfl/1093637931 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1964474114 / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1305/NDJFL/1093637931 / rank | |||
Normal rank |
Latest revision as of 15:31, 10 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nonstandard connectives of intuitionistic propositional logic |
scientific article |
Statements
Nonstandard connectives of intuitionistic propositional logic (English)
0 references
1988
0 references
This article is organized as follows: In Section 1 the author proposes the question: ``What is an intuitionistic propositional connective?'', and defines a new n-ary connective ``{\#}'' which is said to be extensional (or weakly extensional). In Section 2 he introduces a new unary connective ``\(\circ ''\) and its related axioms. He extends also the ordinary intuitionistic propositional calculus I to the logical system \(I^{\circ}\) with connective \(\circ\). The extended system has a Gentzen system with the subformula property and cut-free deductions. In Section 3 he explains a possibility of introducing new connectives by their interpretation in Kripke models. He proves that for any n-ary connective {\#} there exists a formula \(\psi (A_ 1,...,A_ n)\) with ordinary connectives only, such that \(I\vdash \psi (A_ 1,...,A_ n)\) implies \(I^{\#}\vdash \#(A_ 1,...,A_ n)\), and \(I^{\#}\vdash \#(A_ 1,...,A_ n)\) implies \(I\vdash \neg \neg \psi (A_ 1,...,A_ n).\) In Section 4 he considers some extension \(I^{\#}\) of I such that {\#} can be described by rules of inference in a Gentzen system. Under natural and not strong restrictions on rules of inference he proves that \(I^{\#}\) can be interpreted either in \(I^{\circ}\) or in propositional intuitionistic modal logic S4.
0 references
intuitionistic propositional connective
0 references
Gentzen system
0 references
Kripke models
0 references