User Francesco Turco

18 votes

4 answers

12k views

How to define tuples?

asked Jan 26, 2010 at 10:20

14 votes

6 answers

5k views

Do you know any good introductory resource on sequent calculus?

asked Feb 9, 2010 at 13:39

12 votes

7 answers

10k views

Is there any proof assistant based on first-order logic?

asked Feb 18, 2010 at 10:47

4 votes

5 answers

3k views

Is reflexivity of equality an axiom or a theorem?

asked Jan 29, 2010 at 13:15

4 votes

3 answers

3k views

First-order logic without equality and set theory

asked Aug 2, 2010 at 16:45

3 votes

2 answers

3k views

Why are universal introduction and existential elimination valid inference rules?

asked Feb 4, 2010 at 13:04

2 votes

3 answers

781 views

Does the axiom of specification prevent writing any proof?

asked Feb 20, 2010 at 14:54

1 vote

2 answers

2k views

What does the disjunction elimination rule say?

asked Feb 26, 2010 at 9:55

Stack Exchange Network

8 Questions

How to define tuples?

Do you know any good introductory resource on sequent calculus?

Is there any proof assistant based on first-order logic?

Is reflexivity of equality an axiom or a theorem?

First-order logic without equality and set theory

Why are universal introduction and existential elimination valid inference rules?

Does the axiom of specification prevent writing any proof?

What does the disjunction elimination rule say?