.png){kind=icon}
返回
Swap structures semantics for Ivlev-like modal logics
.png){kind=icon}
PRE
AI
DOI：10.1007/s00500-018-03707-4.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Farinas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum-Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum-Tarski algebras.
Keyword:
Swap structures
Modal logics
Non-deterministic matrices
Lindenbaum-Tarski algebra
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
2.5
论文数:
1.0W
被引数:
2.1W
机构
引用论文
Production and Secretion of Two Vasoactive Peptides, Endothelin-1 and Adrenomedullin, by a Colorectal Adenocarcinoma Cell Line, DLD-1两种血管活性肽，内皮素-1（Endothelin-1）和肾上腺髓质素（Adrenomedullin）的产生与分泌，由一种结直肠腺癌细胞系DLD-1完成。
OAAI
OAAI分享收藏Low Absolute Lymphocyte Count (ALC) at Diagnosis Is An IPSS-Independent Predictor of Poorer Survival in Myelodysplastic Syndromes (MDS).png)
Blood
BloodIF0
PREAI
分享收藏分享收藏EPIZOOTIOLOGICAL STUDY OF HANTAVIRUS INFECTION AMONG RATTUS NORVEGICUS IN TOKYO BAY AREA, JAPAN日本东京湾地区黑线姬鼠中汉坦病毒感染的流行病学调查
OAAI
OAAI分享收藏Cyclical changes in the uterine endometrium and peripheral plasma concentrations of progesterone in the marsupial Trichosurus vulepcula有袋类动物Trichosurus vulepcula子宫子宫内膜的周期性变化及其外周血浆孕酮浓度
PREAI
分享收藏Change in the Level of LH in the Sera and Pituitaries of Ovariectomized and Intact Ewes at Parturition分娩时卵巢切除和完整母羊血清及垂体中LH水平的改变
PREAI
分享收藏Content of LH, FSH, and Growth Hormone in the Pituitaries of Pregnant and Anestrous Sheep垂体中促黄体生成素（LH）、促卵泡生成素（FSH）和生长激素（Growth Hormone）的含量比较：妊娠母羊与乏情母羊
PREAI
分享收藏 没有更多内容
没有更多内容