Rasiowa-Harrop disjunction property (Q2363508): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q2971275 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Comments on predicative logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Commuting conversions vs. the standard conversions of the ``good'' connectives / rank
 
Normal rank
Property / cites work
 
Property / cites work: Atomic polymorphism / rank
 
Normal rank
Property / cites work
 
Property / cites work: The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof / rank
 
Normal rank
Property / cites work
 
Property / cites work: η-conversions of IPC implemented in atomic F / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3994895 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3472080 / rank
 
Normal rank

Latest revision as of 04:23, 14 July 2024

scientific article
Language Label Description Also known as
English
Rasiowa-Harrop disjunction property
scientific article

    Statements

    Rasiowa-Harrop disjunction property (English)
    0 references
    0 references
    19 July 2017
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Rasiowa-Harrop disjunction property
    0 references
    intuitionistic propositional calculus
    0 references
    predicative polymorphism
    0 references
    natural deduction
    0 references
    strong normalization
    0 references
    0 references