A two-valued semantics for infectious logics

Yang Song, Hitoshi Omori, Satoshi Tojo

研究成果: 書籍の章/レポート/Proceedings会議への寄与査読

8 被引用数 (Scopus)

抄録

In this article, we introduce a new two-valued semantics for infectious logics. The main motivation for this semantics stems from the question if conjunctions and disjunctions of infectious logics can be rightfully called conjunction and disjunction. Building on our new semantics, we will happily conclude that this is the case. We will also show that our semantics can capture various expansions of infectious logics.

本文言語英語
ホスト出版物のタイトルProceedings - 2021 IEEE 51st International Symposium on Multiple-Valued Logic, ISMVL 2021
出版社IEEE Computer Society
ページ50-55
ページ数6
ISBN(電子版)9781728192246
DOI
出版ステータス出版済み - 2021 5月
イベント51st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2021 - Virtual, Nur-sultan, カザフスタン
継続期間: 2021 5月 252021 5月 27

出版物シリーズ

名前Proceedings of The International Symposium on Multiple-Valued Logic
2021-May
ISSN(印刷版)0195-623X

会議

会議51st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2021
国/地域カザフスタン
CityVirtual, Nur-sultan
Period21/5/2521/5/27

フィンガープリント

「A two-valued semantics for infectious logics」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル