Tonk- A Full Mathematical Solution
There is a long tradition (See e.g. [9, 10]) starting from , according to which the meaning of a connective is determined by the introduction and elimination rules which are associated with it. The supporters of this thesis usually have in mind natural deduction systems of a certain ideal type (explained in Section 3 below). Unfortunately, already the handling of classical negation requires rules which are not of that type. This problem can be solved in the framework of multiple-conclusion Gentzen-type systems (also ﬁrst introduced in ), where instead of introduction and elimination rules there are left introduction rules and right introduction rules.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Harmony and Autonomy in Classical Logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.
Intuitionistic Logic and Elementary Rules.L. Humberstone & D. Makinson - 2011 - Mind 120 (480):1035-1051.
Rule-Circularity and the Justification of Deduction.By Neil Tennant - 2005 - Philosophical Quarterly 55 (221):625–648.
Classical Harmony: Rules of Inference and the Meaning of the Logical Constants.Peter Milne - 1994 - Synthese 100 (1):49 - 94.
Added to index2009-01-28
Total downloads25 ( #202,898 of 2,168,616 )
Recent downloads (6 months)1 ( #346,837 of 2,168,616 )
How can I increase my downloads?