一元子结构谓词逻辑中相似的代数语义

您当前的位置：

首页 >

文章列表页 >

一元子结构谓词逻辑中相似的代数语义

学术论文 | 更新时间：2025-12-08

上一篇|下一篇

- 一元子结构谓词逻辑中相似的代数语义
- Algebraic Semantics of Similarity in Monadic Substructural Predicate Logics
- 王军涛，王梅，折延宏
- 电子学报 2023年51卷第4期页码：956-964
- 作者机构：
  1.西安石油大学理学院，陕西西安 710065
  2.陕西科技大学电气与控制工程学院，陕西西安 710021
- 作者简介：
  王军涛男，1987年12月生，陕西咸阳人，2018年7月获西北大学理学博士学位.现为西安石油大学理学院副教授、硕士生导师.主要研究方向为序代数、模糊逻辑及不确定性推理.
  王梅女，1992年3月生，山西长治人.现为陕西科技大学电气与控制工程学院博士研究生.主要研究方向为序代数及不确定性推理.
  折延宏（通讯作者）男，1983 年 5 月生，陕西延安人 . 2010 年 7 月获陕西师范大学理学博士学位. 现为西安石油大学理学院教授、硕士生导师. 主要研究方向为多粒度数据分析、模糊逻辑及不确定性推理. Email: yanhongshe@xsyu.edu.cn
- 基金信息：
  国家自然科学基金(12001423;61976244;12171294);陕西省自然科学基础研究计划(2020JQ-762;2021JQ-580);陕西省教育厅自然科学研究专项计划(20JK0626)
- DOI： 10.12263/DZXB.20210267
  中图分类号：
- 修回：2021-12-06 ，
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
图( 0 ) 表( 4 )
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

20

浏览量

68

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

模态逻辑S4的覆盖语义及其完备性

面向多类型二值分割任务的混合专家自适应统一框架

基于多维DHS的AFDM卫星通信隐蔽波形

基于LaFMD处理的新型阈值调控技术研究

一种加载介质钉层的宽角低扫描损耗毫米波双极化相控阵

相关作者

王军涛

王梅

折延宏

于海

詹婉荣

张瑞玲

相关机构

西安石油大学理学院

陕西科技大学电气与控制工程学院，，.

洛阳师范学院数学科学学院

洛阳师范学院信息技术学院

洛阳师范学院数学科学学院河南洛阳