-
公理的数量 -
算术和超算术蠕虫大战 -
EK、ECK和亲属的邻里规范:一个建设性证明 -
T、TB、S4、S5等的模块化非确定性语义 -
反射等级和顺序分析 -
参数化Ackermann-Peter函数上的Goodstein序列 -
池模式和逐点交集:公理化和可判定性 -
经典模态逻辑 -
非形式可证明的非确定性逻辑没有有限特征 -
长射影确定性的一致性强度 -
确定性逻辑与选择公理 -
直觉主义线性时序逻辑 -
自适应Fregean集理论 -
带域的自由Kleene代数 -
Presburger算法本身的多维解释 -
慢速一致性的简短证明 -
有限多值非确定性结果关系的类树证明系统 -
无根据的推论使证明更短 -
资源型主体认知态度的动态变化 -
真理、分离和归纳 -
关于克拉耶夫斯基的一个问题 -
可解释性逻辑IL的复杂性 -
粗道义逻辑 -
道义原因的超内涵逻辑框架 -
道义模态与超内涵 -
具有优先条件义务和权限的结构化论证 -
关于递归可枚举度以下的度跳跃 -
BAT结果关系的证明系统 -
非形式可证明的多值逻辑:一种非确定性策略 -
动力系统的直觉时间逻辑 -
优化逆向数学动物园的驯化 -
超限可证明逻辑的欧米伽规则解释 -
序空间可证明逻辑的强完备性 -
通过超限反射的预测性 -
验证逻辑 -
不交并部分代数 -
霍华德·巴赫曼层次结构的序理论表征 -
对应于Friedman线性化的具有间隙条件的良部分阶的序数符号系统 -
实用性证明:超媒体API的组成和执行 -
无穷大拉姆西原理的强度可以通过其密度来衡量 -
合成、交集和反域的部分函数完全表示 -
自适应策略与有限条件前提集 -
U(n)分解为XU(n -
使用答案集编程解决稳定匹配问题 -
逆向数学、良好拟序和Noether空间 -
面对相互冲突的信息,应该选择哪种推理方式? -
被宠坏了吗? -
输入/输出逻辑的自适应逻辑特征 -
完美嵌入经典逻辑 -
义务作为最弱的许可:一个强完备的公理化 -
包含声音答案的表格 -
结构的弱真值表度 -
WKL0与模型理论中的归纳原理 -
反应标准道义逻辑 -
Haskell先于Haskell:ENIAC实用逻辑的另一堂课 -
经典关联的新方法 -
井-部分订购和大Veblen数 -
普遍性、最优化和随机性缺陷 -
制表为具有分隔控件的库 -
算术模型中的常量区域 -
利用可能性理论刻画和扩展答案集语义 -
超限可证明逻辑的多面体 -
超限Japaridze代数中的Well阶 -
论认知逻辑中模拟与互模拟的可定义性 -
关于线性序模态的可证明逻辑 -
动态拓扑逻辑的非有限公理化 -
有限多模型一阶理论的逆向数学 -
多智能体道义逻辑中具有规范冲突的非单调推理 -
有理数代数扩张上多项式的丢番图集 -
自适应逻辑:一种参数化方法 -
Słupecki的广义mereology及其缺陷 -
邻里结构中的证据和合理性 -
双曲线、Veblen级数和序数函数的超限迭代 -
超限可证明逻辑模型 -
两种正态分布的自适应逻辑 -
三种优先自适应逻辑格式的比较研究 -
优先化规范推理的逻辑 -
逆向工程逆向数学 -
自适应逻辑的一个证明过程 -
缓慢的一致性 -
基于自适应逻辑的强通用可证明非平凡集理论 -
显著序数到∏¹-CA₀序数的Goodstein序列 -
Prolog的带分隔符延续 -
PiotrŁukowski,《悖论,逻辑趋势》第31卷,施普林格2011年,第194页 -
素数蕴涵与相关信念修正 -
答案集编程中的通信表达 -
利用CP技术实现LP系统 -
从不一致的理论中产生诱因解释 -
有限格值命题逻辑中的α-可满足性及其α-锁分解 -
寻求解释的形式化解释:溯因推理的自适应逻辑方法 -
与弱递增序列相关的相变的锐利阈值 -
语言真值直觉模糊代数 -
非平衡数据集集成分类器的新构造 -
在Pi(0)(1)类的梅德韦杰夫度中编码真算术 -
Pi(1)(1)-CA(0)中的Menger定理 -
基于粗糙集的变精度有限容差关系下近似值的动态维护 -
M2-可计算实数 -
离散整数线性变换的可逆实现 -
SWI-预测 -
形式化可信通信的模式类型理论