Find link

language:

Find link is a tool written by Edward Betts.

searching for Structural proof theory 2 found (16 total)

Modal logic (8,454 words) [view diff] no match in snippet view article find links to article

Modal logic is a kind of logic used to represent statements about necessity and possibility. It plays a major role in philosophy and related fields as

Sara Negri (359 words) [view diff] case mismatch in snippet view article find links to article

2018. Negri is the co-author, with Jan von Plato, of two books: Structural Proof Theory (Cambridge University Press, 2001) Proof Analysis: A Contribution