The following pages link to (Q4938597):
Displaying 4 items.
- Church-Rosser property of a simple reduction for full first-order classical natural deduction (Q1861541) (← links)
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics (Q2037304) (← links)
- Some properties of the -calculus (Q4583170) (← links)
- Extended Natural Deduction Images of Conversions from the System of Sequents (Q4659951) (← links)