CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3142560 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4840168 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cut-elimination and redundancy-elimination by resolution / rank
 
Normal rank
Property / cites work
 
Property / cites work: On sequence-conclusion natural deduction systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Existential instantiation and normalization in sequent natural deduction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Untersuchungen über das logische Schliessen. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deriving Natural Deduction Rules from Truth Tables / rank
 
Normal rank
Property / cites work
 
Property / cites work: Short proofs of normalization for the simply-typed \(\lambda\)-calculus, permutative conversions and Gödel's \(\mathbf T\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inversion Principles and Introduction Rules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744125 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4264064 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4255509 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5559220 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Basic logic: reflection, symmetry, visibility / rank
 
Normal rank
Property / cites work
 
Property / cites work: A natural extension of natural deduction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Definitional reflection and basic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4159022 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Normalization theorems for full first order classical natural deduction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5732646 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) / rank
 
Normal rank

Latest revision as of 19:52, 27 July 2024

scientific article; zbMATH DE number 7464265
Language Label Description Also known as
English
CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI
scientific article; zbMATH DE number 7464265

    Statements

    CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (English)
    0 references
    0 references
    26 January 2022
    0 references
    sequent calculus
    0 references
    cut-elimination
    0 references
    natural deduction
    0 references
    normalization
    0 references
    proof terms
    0 references
    Curry-Howard isomorphism
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references