Descriptor: "KRIPKE semantics" / Language: english / Publication Year Range: Last 50 years / Publisher: mdpi / Topic: algebraic logic - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"KRIPKE semantics"' showing total 1 results

Start Over Descriptor "KRIPKE semantics" Topic algebraic logic Publication Year Range Last 50 years Language english Publisher mdpi

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

Books, media, physical & digital resources

Searchworks