This is a preview. Log in through your library . Abstract Michael Dummett and Dag Prawitz have argued that a constructivist theory of meaning depends on explicating the meaning of logical constants in ...
The thesis that, in a system of natural deduction, the meaning of a logical constant is given by some or all of its introduction and elimination rules has been developed recently in the work of ...
Non-classical logics, encompassing modal, intuitionistic, fuzzy and other alternative logical systems, have increasingly benefitted from an algebraic treatment that elucidates the underlying structure ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback