Sequent calculi for propositional star-free likelihood logic

R. Alonderis

首页> 外文期刊>Lithuanian mathematical journal >Sequent calculi for propositional star-free likelihood logic

【24h】

Sequent calculi for propositional star-free likelihood logic

机译：命题无星似然逻辑的后续计算

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We consider classical, multisuccedent intuitionistic, and intuitionistic sequent calculi for propositional likelihood logic. We prove the admissibility of structural rules and cut rule, invertibility of rules, correctness of the calculi, and completeness of the classical calculus with respect to given semantics.

机译：我们考虑命题似然逻辑的经典，多成功直觉和直觉的后续计算。我们针对给定的语义证明了结构规则和割断规则的可采性，规则的可逆性，计算的正确性以及经典演算的完整性。

著录项

来源
《Lithuanian mathematical journal》 |2005年第1期|共15页
作者
R. Alonderis;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数学;
关键词
likelihood logic; sequent calculus; structural rule admissibility; cut admissibility; rule invertibility; correctness; completeness;

机译：似然逻辑;后续演算;结构规则可采性;割可采性;规则可逆性;正确性;完整性;

相似文献

外文文献
中文文献
专利

1. Sequent calculi for propositional star-free likelihood logic [J] . R. Alonderis Lithuanian mathematical journal . 2005,第1期

机译：命题无星似然逻辑的后续计算
2. Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models [J] . M auro Ferrari, Camillo Fiorentini, Guido Fiorino Journal of Automated Reasoning . 2013,第2期

机译：具有子公式属性和最小深度反模型的直觉命题逻辑的无收缩线性深度后续计算
3. New sequent calculi for Visser's Formal Propositional Logic [J] . Katsumasa Ishii Mathematical logic quarterly: MLQ . 2003,第5期

机译：维瑟形式命题逻辑的新后续计算
4. From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic [C] . Jeremy E. Dawson, Ranald Clouston, Rajeev Gore, IFIP TC 1/WG 2.2 international conference on theoretical computer science . 2014

机译：从显示演算到深度嵌套继发演算：完全直觉线性逻辑的形式化
5. FRAGMENTS OF MODAL AND INTUITIONISTIC PROPOSITIONAL CALCULI. [D] . MOON, RALPH HENRY. 1979

机译：模态和直觉性命题的片段。
6. From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic [O] . Christian Fermüller, Timo Lang, Alexandra Pavlova -1

机译：从真相比较游戏到Gödel逻辑的相依关系计算
7. Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models [O] . Ferrari, M., Fiorentini, C., Fiorino, G. 2013

机译：具有子公式属性和最小深度计数器模型的直觉命题逻辑的无收缩线性深度序列结果
8. Sequent Calculi for Normal Modal Propositional Logics [R] . Wansing, H. 1992

机译：正态模态命题逻辑的后续计算

Sequent calculi for propositional star-free likelihood logic

摘要

著录项

相似文献

相关主题

期刊订阅