Routley-Meyer ternary relational semantics for intuitionistic-type negations /

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...

Full description

Bibliographic Details
Main Authors: Robles, Gemma (Author), Méndez, José M. (Author)
Corporate Author: ScienceDirect (Online service)
Format: eBook
Language:English
Published: London, United Kingdom : Elsevier : Academic Press, [2018]
Subjects:
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: P325 .R63 2018eb
 
Call Number Status Get It
P325 .R63 2018eb Available