Search

Your search keyword '"KRIPKE semantics"' showing total 2 results
2 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

2. Algebraic Kripke-Style Semantics for Relevance Logics

Author

Eunsuk Yang

Subjects
Theoretical computer science, Classical logic, Algebraic logic, Operational semantics, Action semantics, Algebra, Philosophy, Algebraic sentence, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Algebraic semantics, Well-founded semantics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, Computer Science::Programming Languages, Kripke semantics, Mathematics
Abstract

This paper deals with one kind of Kripke-style semantics, which we shall call algebraic Kripke-style semantics, for relevance logics. We first recall the logic R of relevant implication and some closely related systems, their corresponding algebraic structures, and algebraic completeness results. We provide simpler algebraic completeness proofs. We then introduce various types of algebraic Kripke-style semantics for these systems and connect them with algebraic semantics.

Published
2013

Catalog

Books, media, physical & digital resources
See catalog results