Search

Your search keyword '"KRIPKE semantics"' showing total 1 results
Start Over Descriptor "KRIPKE semantics" Search Limiters Full Text Topic algebraic logic Topic routley-meyer-style semantics
1 results on '"KRIPKE semantics"'

1. Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics.

Author

Yang, Eunsuk

Subjects
*ALGEBRAIC logic, *SEMANTICS, *KRIPKE semantics, *LOGIC
Abstract

Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together with their algebraic semantics. Next, we introduce two kinds of ternary relational semantics, called here linear Urquhart-style and Fine-style Routley–Meyer semantics, for them as algebraic Routley–Meyer-style semantics. [ABSTRACT FROM AUTHOR]

Published
2021
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results