|
Showing 1 - 1 of
1 matches in All Departments
Routley-Meyer Ternary Relational Semantics for Intuitionistic-type
Negations examines how to introduce intuitionistic-type negations
into RM-semantics. RM-semantics is highly malleable and capable of
modeling families of logics which are very different from each
other. This semantics was introduced in the early 1970s, and was
devised for interpreting relevance logics. In RM-semantics,
negation is interpreted by means of the Routley operator, which has
been almost exclusively used for modeling De Morgan negations. This
book provides research on particular features of
intuitionistic-type of negations in RM-semantics, while also
defining the basic systems and many of their extensions by using
models with or without a set of designated points.
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.