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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
