Implicational Partial Galois Logics: Relational Semantics

Eunsuk Yang; J. Michael Dunn

doi:10.1007/s11787-021-00290-5

Implicational Partial Galois Logics: Relational Semantics

Eunsuk Yang^*
, J. Michael Dunn

^*Corresponding author for this work

Department of Philosophy

Research output: Contribution to journal › Journal article › peer-review

6 Scopus citations

Abstract

Implicational tonoid logics and their relational semantics have been introduced by Yang and Dunn. This paper extends this investigation to implicational partial Galois logics. For this, we first define some implicational partial gaggle logics as special kinds of implicational tonoid logics called “implicational partial Galois logics.” Next, we provide Routley–Meyer-style relational semantics for finitary those logics.

Original language	English
Pages (from-to)	457-476
Number of pages	20
Journal	Logica Universalis
Volume	15
Issue number	4
DOIs	https://doi.org/10.1007/s11787-021-00290-5
State	Published - 2021.12

Keywords

(Implicational) partial Galois logic
Gaggles
Galois connection
Relational semantics
Residuation

Quacquarelli Symonds(QS) Subject Topics

Mathematics

Access to Document

10.1007/s11787-021-00290-5

Cite this

@article{a5f7f1273f0e4d8e9d742c2cc5695471,

title = "Implicational Partial Galois Logics: Relational Semantics",

abstract = "Implicational tonoid logics and their relational semantics have been introduced by Yang and Dunn. This paper extends this investigation to implicational partial Galois logics. For this, we first define some implicational partial gaggle logics as special kinds of implicational tonoid logics called “implicational partial Galois logics.” Next, we provide Routley–Meyer-style relational semantics for finitary those logics.",

keywords = "(Implicational) partial Galois logic, Gaggles, Galois connection, Relational semantics, Residuation",

author = "Eunsuk Yang and Dunn, \{J. Michael\}",

note = "Publisher Copyright: {\textcopyright} 2021, The Author(s), under exclusive licence to Springer Nature Switzerland AG.",

year = "2021",

month = dec,

doi = "10.1007/s11787-021-00290-5",

language = "English",

volume = "15",

pages = "457--476",

journal = "Logica Universalis",

issn = "1661-8297",

number = "4",

}

TY - JOUR

T1 - Implicational Partial Galois Logics

T2 - Relational Semantics

AU - Yang, Eunsuk

AU - Dunn, J. Michael

PY - 2021/12

Y1 - 2021/12

N2 - Implicational tonoid logics and their relational semantics have been introduced by Yang and Dunn. This paper extends this investigation to implicational partial Galois logics. For this, we first define some implicational partial gaggle logics as special kinds of implicational tonoid logics called “implicational partial Galois logics.” Next, we provide Routley–Meyer-style relational semantics for finitary those logics.

AB - Implicational tonoid logics and their relational semantics have been introduced by Yang and Dunn. This paper extends this investigation to implicational partial Galois logics. For this, we first define some implicational partial gaggle logics as special kinds of implicational tonoid logics called “implicational partial Galois logics.” Next, we provide Routley–Meyer-style relational semantics for finitary those logics.

KW - (Implicational) partial Galois logic

KW - Gaggles

KW - Galois connection

KW - Relational semantics

KW - Residuation

UR - https://www.scopus.com/pages/publications/85116943144

U2 - 10.1007/s11787-021-00290-5

DO - 10.1007/s11787-021-00290-5

M3 - Journal article

AN - SCOPUS:85116943144

SN - 1661-8297

VL - 15

SP - 457

EP - 476

JO - Logica Universalis

JF - Logica Universalis

IS - 4

ER -

Implicational Partial Galois Logics: Relational Semantics

Abstract

Keywords

Quacquarelli Symonds(QS) Subject Topics

Access to Document

Other files and links

Fingerprint

Cite this