Nonstandard connectives of intuitionistic propositional logic (Q1111536): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1305/ndjfl/1093637931 / rank
Normal 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
    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
    0 references

    Identifiers