The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (Q1814180): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
 
(One intermediate revision by one other user not shown)
Property / cites work
 
Property / cites work: A propositional calculus with denumerable matrix / rank
 
Normal rank
Property / cites work
 
Property / cites work: Untersuchungen über das logische Schliessen. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5537356 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pseudo two-valued evaluation method for intermediate logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: On formulas of one variable in intuitionistic propositional calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3474634 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On intermediate propositional logics / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/bf00370159 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2065608775 / rank
 
Normal rank

Latest revision as of 09:03, 30 July 2024

scientific article
Language Label Description Also known as
English
The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s
scientific article

    Statements

    The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (English)
    0 references
    0 references
    25 June 1992
    0 references
    The intermediate logics which are dealt with here are supposed to be axiomatized in the form \(\hbox{L} \hbox{J} + \hbox{A}\), where \(\hbox{L} \hbox{J}\) is intuitionistic logic and A is an additional axiom. The simple substitution property is a property concerning the axiom that a target formula is a theorem if and only if it is provable in \(\hbox{L} \hbox{J}\) from the formulas obtained from the axiom by substituting its variables by those variables used in the target formula. In this paper Gödel's \(n\)-valued logics S\(_ n\) are axiomatized as to have this property. It is also proved here that axioms with only one variable do not have this property except two of them.
    0 references
    axiomatization
    0 references
    intermediate logics
    0 references
    simple substitution property
    0 references
    Gödel's \(n\)-valued logics S\(_ n\)
    0 references
    0 references

    Identifiers