A Routley-Meyer Semantics for Godel 3-Valued Logic and Its Paraconsistent Counterpart

Routley-Meyer semantics (RM-semantics) is defined for Godel 3-valued logic G3 and some logics related to it among which a paracon-sistent one differing only from G3 in the interpretation of negation is to be remarked. The logics are defined in the Hilbert-style way and also by means of proof-theoretical and semantical consequence relations. The RM-semantics is defined upon the models for Routley and Meyer's basic positive logic B+, the weakest positive RM-semantics. In this way, it is to be expected that the models defined can be adapted to other related many-valued logics.