The Lambek Calculus Extended with Intuitionistic Propositional Logic

Kaminski Michael; Francez Nissim

首页> 外文期刊>Studia Logica >The Lambek Calculus Extended with Intuitionistic Propositional Logic

【24h】

The Lambek Calculus Extended with Intuitionistic Propositional Logic

机译：用直觉命题逻辑扩展的Lambek微积分

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present sound and complete semantics and a sequent calculus for the Lambek calculus extended with intuitionistic propositional logic.

机译：我们提出了合理而完整的语义以及针对Lambek演算的后续演算，并扩展了直觉命题逻辑。

著录项

来源
《Studia Logica》 |2016年第5期|共32页
作者
Kaminski Michael; Francez Nissim;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类逻辑学（论理学）;
关键词
Lambek calculus; Intuitionistic propositional logic; Kripke Semantics; Ternary semantics; Sequent calculus; Decidability;

机译：Lambek微积分;直觉命题逻辑;Kripke语义;三元语义;后续微积分;可判定性;

相似文献

外文文献
中文文献
专利

1. The Lambek Calculus Extended with Intuitionistic Propositional Logic [J] . Kaminski Michael, Francez Nissim Studia Logica . 2016,第5期

机译：用直觉命题逻辑扩展的Lambek微积分
2. Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic [J] . Michael Kaminski, Nissim Francez Studia Logica . 2014,第3期

机译：具有经典命题逻辑的Lambek微积分的关系语义学
3. A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications [J] . Mauro Ferrari, Camillo Fiorentini, Guido Fiorino Journal of applied non-classical logics . 2009,第2期

机译：命题直觉逻辑的表格演算，对嵌套含义进行了精细处理
4. A Forward Unprovability Calculus for Intuitionistic Propositional Logic [C] . Camillo Fiorentini, Mauro Ferrari International Conference on Automated Reasoning with Analytic Tableaux and Related Methods . 2017

机译：直觉命题逻辑的正不可证明性演算
5. A graph formalism for proofs in the Lambek calculus with product. [D] . Fowler, Timothy Alexander Dalton. 2006

机译：在Lambek演算中使用乘积进行证明的图形式主义。
6. A Modern Syllogistic Method in Intuitionistic Fuzzy Logic with Realistic Tautology [O] . Ali Muhammad Rushdi, Mohamed Zarouan, Taleb Mansour Alshehri, 2015

机译：具有现实重言式的直觉模糊逻辑中的现代三段论方法
7. Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus [O] . Romas Alonderis 2008

机译：通过经典逻辑微积分对命题直觉逻辑顺序进行校验搜索

The Lambek Calculus Extended with Intuitionistic Propositional Logic

摘要

著录项

相似文献

相关主题

期刊订阅