首页> 外文OA文献 >Modal Intuitionistic Logics and Predicate Superintuitionistic Logics : Correspondence Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)

【2h】

Modal Intuitionistic Logics and Predicate Superintuitionistic Logics : Correspondence Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)

机译：模态直觉逻辑和谓语超直觉逻辑：对应理论（非古典逻辑及其Kripke语义的新观点）

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Bezhanishvili Guram;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Kripke semantics and proof systems for combining intuitionistic logic and classical logic [J] . Liang C., Miller D. Annals of Pure and Applied Logic . 2013,第2期

机译：结合直觉逻辑和经典逻辑的Kripke语义和证明系统
2. Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle [J] . Dmitrij Skvortsov Studia Logica . 2012,第1a2期

机译：具有弱常域原理的某些超直觉谓词逻辑的Kripke Sheaf完整性
3. Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle [J] . Skvortsov D. Studia Logica . 2012,第1a2期

机译：具有弱常域原理的某些超直觉谓词逻辑的Kripke Sheaf完整性
4. Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics [C] . J.M. Davoren International Symposium on Logical Foundations of Computer Science(LFCS 2007); 20070604-07; New York,NY(US) . 2007

机译：直觉模态逻辑及其经典伴随逻辑的拓扑语义和双仿真
5. Some results in computability and the proof theory of predicate modal logic [D] . Schwartz, Yehuda. 2012

机译：谓词模态逻辑的可计算性和证明理论的一些结果
6. Proof theory for locally finite many-valued logics: Semi-projective logics [O] . Agata Ciabattoni, Franco Montagna -1

机译：局部有限多值逻辑的证明理论：半射逻辑
7. Algebraic Kripke sheaf semantics for super-intuitionistic predicate logics(Non-Classical Logics and Their Kripke Semantics) [O] . SUZUKI NOBU-YUKI 1995

机译：超直觉谓词逻辑的代数Kripke捆语义（非经典逻辑及其Kripke语义）
8. Explicit Provability: The Intended Semantics for Intuitionistic and Modal Logic [R] . Artemov, S. N. 1998

机译：显式可证性：直觉和模态逻辑的预期语义

Modal Intuitionistic Logics and Predicate Superintuitionistic Logics : Correspondence Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)

著录项

引文网络

相似文献

相关主题

期刊订阅