Search results

Extending to +, x, nat

Status: Open.

#13 In bwerner/FormArith;

· lafeychine opened on Oct 22, 2024

First-order logic to Heyting arithmetic

Status: Open.

#12 In bwerner/FormArith;

· lafeychine opened on Oct 22, 2024

Show properties of cut-free proofs

Status: Open.

#11 In bwerner/FormArith;

· lafeychine opened on Oct 22, 2024

Defining cut elimination steps

Status: Open.

#10 In bwerner/FormArith;

· lafeychine opened on Oct 22, 2024

System F

Status: Open.

#9 In bwerner/FormArith;

· RatCornu opened on Oct 22, 2024

Defining cuts in first-order logic

Status: Open.

#8 In bwerner/FormArith;

· lafeychine opened on Oct 22, 2024

Linking first-order logic with typed lambda-calculus

Status: Open.

#6 In bwerner/FormArith;

· lafeychine opened on Oct 22, 2024