只为小站
首页
域名查询
文件下载
登录
MTL-代数上的几种演绎系统及其商代数
首先,本文讨论了弱 MTL-代数的性质,并给出弱 MTL-代数的等价刻画;其次,将蕴涵演绎系统.的概念引入到弱 MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个.等价条件;最后,讨论了弱 MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在 弱.MTL-代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱 MTL-代数。
2021-02-26 17:05:07
340KB
逻辑代数;弱
MTL-代数;演绎系统;蕴涵演绎系统;同余关系;商代数
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
王万良-人工智能导论(第五版)课件
IEEE33节点配电网Simulink模型.rar
DBSCAN算法Matlab实现
拾荒者扫描器.zip
ios无人直播 虚拟视频实用版 可以导入视频
matpower5.0b1.zip
Monet智能交通场景应用
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
java-spring-web-外文文献翻译40篇.zip
银行笔试 信息科技岗部分真题
CUDA并行程序设计 GPU编程指南-中文扫描539页完整版pdf+高质量英文完整591页原版非扫描pdf
得到品控手册7.0.pdf
2022学术英语写作(东南大学) 章节测试+期末test答案
EBSD分析软件——Channel5下载安装教程
基于matlab的车牌识别系统设计
最新下载
车载通信CAN总线ISO 11898-1:2024版下载
MFC操作EXCEL2010简单封装
QT中Qpainter画表
四川大学数据结构
cisco network assistant 6.3.4
ijkplayer-android-k0.8.4 全平台 so库带aar
开心手机恢复大师 v3.6.6177.
线性系统理论+第2版+习题与解答
陈启宗-线性系统理论与设计-习题解答答案(Word文档)
VCap2860开发包.rar
其他资源
Hspice使用详细教程
部落战争(部分2).zip
MATLAB 曲面拟合
基于MATLAB实现的采用混沌和小波相结合的方式实现的图像加密
Access_JDBC30(破解版)无限制
LabVIEW读取TDMS文件
解析ARP数据包含C++源码
专技在线听课挂机软件
intouch,Modbus协议驱动
XPEnoboot_DS3615xs_5.2-5967.1.img
DES五种加密模式(MFC实现) 源码
在FPGA上设计汉明码的编码器和解码器
fortran与c混合编程(fortran调用c)
Week2P2:第2周,问题2-MBD里程碑-源码
TestBoostProcess:在Windows上测试Boost进程库-源码
AWS-WAF挂载ALB.docx
武器装备质量管理条例.doc
剑指offer pdf 高清带目录 可索引编辑
苹果电脑Win7风扇转速控制
实时曲线图(加速度三轴曲线图)
基于face_recognition和OpenCV的人脸识别程序源代码
动画控件gif89
火狐安装未通过验证的扩展
方正保护卡软件