中文

($S$,$N$,$T$)-蕴涵

计算机科学中的逻辑 2021-07-01 v1 逻辑

摘要

本文受逻辑等价式 pq¬(p¬q)¬pp\rightarrow q \equiv \neg(p\wedge\neg q)\vee\neg p 启发,引入一类称为 (SS,NN,TT)-蕴涵的新型模糊蕴涵,并简要研究刻画该类的一些主要性质。我们给出由 (SS,NN,TT)-蕴涵与模糊否定获得 tt-模与 tt-余模的方法。

关键词

引用

@article{arxiv.2106.15746,
  title  = {($S$,$N$,$T$)-Implications},
  author = {Fernando Neres and Benjamín Bedregal and Regivan H. N. Santiago},
  journal= {arXiv preprint arXiv:2106.15746},
  year   = {2021}
}