首页> 外文OA文献 >Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators

【2h】

Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators

机译：命题，动作和伴随模态算符的直觉逻辑的代数，证明理论和应用

页面导航

著录项
相似文献
相关主题

著录项

作者
Dyckhoff Roy; Sadrzadeh Mehrnoosh; Truffaut Julien;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Algebra, Proof Theory and Applications for an Intuitionistic Logic of Propositions, Actions and Adjoint Modal Operators [J] . ROY DYCKHOFF, MEHRNOOSH SADRZADEH, JULIEN TRUFFAUT ACM transactions on computational logic . 2013,第4期

机译：命题，动作和伴随模态算符的直觉逻辑的代数，证明理论和应用
2. Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators [J] . Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut Electronic Notes in Theoretical Computer Science . 2012,第3期

机译：命题，动作和伴随模态逻辑的代数，证明理论及其应用
3. inference;;intuitionistic logic;;proof theory;;nature of logic;;logical operators [J] . Sato Kentaro Studia Logica . 2008,第2期

机译：推理;直觉逻辑;证明理论;逻辑性质;逻辑运算符
4. A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic [C] . Camillo Fiorentini, Rajeev Gore, Stephane Graham-Lengrand International Conference on Automated Reasoning with Analytic Tableaux and Related Methods . 2019

机译：SMT解决直觉命题逻辑的证明理论视角
5. FRAGMENTS OF MODAL AND INTUITIONISTIC PROPOSITIONAL CALCULI. [D] . MOON, RALPH HENRY. 1979

机译：模态和直觉性命题的片段。
6. A Theory for *-Operators Analogous to the Theory of Reducibility for Self-Adjoint Transformations in Hilbert Space [O] . F. J. Murray 1933

机译：与希尔伯特空间中自伴随变换的可约性理论相似的*算符理论
7. Algebra, Proof Theory and Applications for an Intuitionistic Logic of Propositions, Actions and Adjoint Modal Operators [O] . Roy Dyckhoff, Mehrnoosh Sadrzadeh, JULIEN TRUFFAUT 2013

机译：命题，动作和伴随模态算符的直觉逻辑的代数，证明理论和应用

Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators

著录项

相似文献

相关主题

期刊订阅