首页> 外文OA文献 >A Characterization of Axiom Schema playing the role of Terium non Datur in Intuitionistic Predicate Logic(New Aspects in Non-Classical Logics and Their Kripke Semantics)

【2h】

A Characterization of Axiom Schema playing the role of Terium non Datur in Intuitionistic Predicate Logic(New Aspects in Non-Classical Logics and Their Kripke Semantics)

机译：公理模式在直觉谓词逻辑中扮演Terium non Datur角色的表征（非经典逻辑及其Kripke语义学的新方面）

页面导航

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

著录项

作者
白井古希男;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A characterization of axiom schema playing the rôle of tertium non datur in intuitionistic logic [J] . Masazumi Hanazawa Proceedings of the Japan Academy, Series A. Mathematical Sciences . 1966,第9期

机译：在直觉逻辑中扮演非schema叔性的公理模式的表征
2. 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语义和证明系统
3. Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics [J] . Hiroakira Ono Proceedings of the Japan Academy, Series A. Mathematical Sciences . 1973,第9期

机译：中间谓词逻辑的语义不完整，I。Kripke的语义
4. Intuitionistic Fuzzy Implications and the Axioms of Intuitionistic Logic [C] . Nora A. Angelova, Krassimir T. Atanassov World Congress of the International Fuzzy Systems Association . 2015

机译：直觉模糊含义和直觉逻辑的原理
5. Topological characterizations for logic programming semantics. [D] . Ferry, Audrey Piltch. 1994

机译：逻辑编程语义的拓扑特征。
6. Modal Intuitionistic Logics and Predicate Superintuitionistic Logics : Correspondence Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics) [O] . Bezhanishvili Guram 1997

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

A Characterization of Axiom Schema playing the role of Terium non Datur in Intuitionistic Predicate Logic(New Aspects in Non-Classical Logics and Their Kripke Semantics)

著录项

引文网络

相似文献

相关主题

期刊订阅