From Proof Theory to Model-Theoretic Semantics
by
James W. Garson
Language: English
Release Date: November 14, 2013
What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives (such as 'and', 'or', 'not' and 'if … then'), whose behaviour is defined by strict rules, and proves definitive results concerning...