只为小站
首页
域名查询
文件下载
登录
MTL-代数上的几种演绎系统及其商代数
首先,本文讨论了弱 MTL-代数的性质,并给出弱 MTL-代数的等价刻画;其次,将蕴涵演绎系统.的概念引入到弱 MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个.等价条件;最后,讨论了弱 MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在 弱.MTL-代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱 MTL-代数。
2021-02-26 17:05:07
340KB
逻辑代数;弱
MTL-代数;演绎系统;蕴涵演绎系统;同余关系;商代数
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
vivado 破解 lisence(有效期到2037年) 下载
大学生网页设计大作业-5个网页设计制作作品自己任选
狂神说全部笔记内容.zip
狂神说Java系列笔记.rar
opcua服务器模拟器+opcua客户端工具.rar
计算机专业实习日记+实习周记+实习总结
matpower5.0b1.zip
中国地面气候资料日值数据集(V3.0)2010-2019.rar
基于LSTM模型的股票预测模型_python
2020年大学生数学建模竞赛C题省一论文(包括材料和代码)
MPC 模型预测控制matlab仿真程序
画程(版本6.0.0.127)setup个人版
Android大作业——网上购物APP(一定是你想要的)
2019综合测评仿真.zip
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
最新下载
Unity 2018 Augmented Reality Projects.pdf
iOS Game Development Developing Games for iPad, iPhone, and iPod Touch.pdf
最新稳定版ActiveMQ5.15.0
Packt.Augmented.Reality.Game.Development.1787122883
QT串口,重点解决了串口接收数据分包或者不完整的问题
RFID标签防碰撞算法研究与仿真分析-matlab程序源代码
sfm算法python版本
ALOHA防碰撞算法_matlab代码
Pro_iOS_5_Augmented_Reality.pdf
信佑网克 工具最好用的网刻工具
其他资源
VBA 高级开发指南_PDF(高清版)
MKS Gen_L主板 使用手册
c++写的一个简单的银行管理系统
VS2017最新版本安装包以及不占用C盘安装教程
vmware vsphere 6.7虚拟化完整祥细配置手册
minix内核修改,增加实时进程和实时调度
C++程序员简历模板
SQLServer2005分区模板与实例
领域驱动的微服务架构设计工作坊实施步骤
电子内窥镜SFR测试系统使用说明书.docx
Agent-Based Modeling模型
kube1.18.tar.gz-废弃
Android 4.0系统自带图标
Android iText生成和读取PDF文件
Android日期时间倒计时(可设置提醒)
汇编语言16位乘法
Spring-Boot Rest学习
bootstrap4支持修改table插件
精品课程网站的设计与开发