Showing 1 - 7 results of 7 for search '"proof theory"', query time: 1.27s Refine Results
  1. 1
    [en] APPLICATIONS OF THE FIRST CONSISTENCY PROOF PRESENTED BY GENTZEN FOR PEANO ARITHMETIC
    Subjects: “...[en] PROOF THEORY...”
    Get full text
    Get full text
    Get full text
  2. 2
    [en] MULTIPLE SUCCEDENT SEQUENT CALCULUS FOR INTUITIONISTIC FIRST-ORDER LOGIC
    Subjects: “...[en] PROOF THEORY...”
    Get full text
    Get full text
    Get full text
  3. 3
    [en] LOGIC PROOFS COMPACTATION
    by VASTON GONCALVES DA COSTA
    Published 2007
    Subjects: “...[en] PROOF THEORY...”
    Get full text
    Get full text
    Get full text
  4. 4
    [en] A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
    by CHRISTIAN JACQUES RENTERIA
    Published 2004
    Subjects: “...[en] PROOF THEORY...”
    Get full text
    Get full text
    Get full text
  5. 5
    [en] WHAT IS SKELETON OF A PROOF
    by EDUARDO NAHUM OCHS
    Published 2004
    “... be translated into derivations in Pure Type Systems (PTSs); so questions about the proof- theory of DNC become...”
    Get full text
    Get full text
    Get full text
  6. 6
    Paraconsistentização de lógicas
    by Dias, Diogo Henrique Bispo
    Published 2019
    “... of Category Theory, while the second one makes use of proof theory and the notion of valuation structure...”
    Get full text
    Others
  7. 7
    [en] LOGICAL ECUMENISM
    by VICTOR LUIS BARROSO NASCIMENTO
    Published 2018
    “... technical results obtained in the field of proof theory, which redefined the relation between the classical...”
    Get full text
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search