On Axiomatizing Shramko-Wansing’s Logic

Sergei P. Odintsov

首页> 外文期刊>Studia Logica >On Axiomatizing Shramko-Wansing’s Logic

【24h】

On Axiomatizing Shramko-Wansing’s Logic

机译：论Shramko-Wansing逻辑的公理化

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

This work treats the problem of axiomatizing the truth and falsity consequence relations, ⊨_t and ⊨_f , determined via truth and falsity orderings on the trilattice SIXTEEN ₃ (Shramko and Wansing, 2005). The approach is based on a representation of SIXTEEN ₃ as a twist-structure over the two-element Boolean algebra. Keywords generalized truth value - twist-structure - axiomatics

机译：这项工作解决了在三重晶格SIXTEEN _{3 t 和⊨_{f 的问题。子>（Shramko和Wansing，2005年）。该方法基于将SIXTEEN _{3 表示为双元素布尔代数上的扭曲结构。关键词广义真值-扭曲结构-公理学}}}

著录项

来源
《Studia Logica》 |2009年第3期|p.407-428|共22页
作者
Sergei P. Odintsov;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
generalized truth value; twist; structure; axiomatics;

机译：广义真值;扭转结构;公理学;

相似文献

外文文献
中文文献
专利

1. On Axiomatizing Shramko-Wansing's Logic [J] . SERGEI P. ODINTSOV Studia Logica . 2009,第3期

机译：关于严肃的Shramko-Wansing的逻辑
2. Lessons from Quantum Logic and Ijiomah’s Logic of Harmonious Monism: Towards the Axiomatization of African Logic [J] . Abakedi Dominic Effiong Journal of Philosophy, Culture and Religion . 2016,第1期

机译：量子逻辑和艾约玛的和谐一元论逻辑的教训：走向非洲逻辑的公理化
3. Axiomatizing hybrid logic using modal logic [J] . Ian Hodkinson, Louis Paternault Journal of Applied Logic . 2010,第4期

机译：使用模态逻辑公理化混合逻辑
4. An efficient model checker based on the axiomatization of propositional temporal logic in rewriting logic [C] . Rebaiaia, M.L., Jaam, Electronics, Circuits and Systems, 2003. ICECS 2003. Proceedings of the 2003 10th IEEE International Conference on . 2003

机译：基于命题时态逻辑在重写逻辑中的有效模型检查器
5. An axiomatization of common -sense geometry [D] . Donnelly, Maureen Bridget 2001

机译：常识几何的公理化
6. Microfluidic Logic Gates: Pressure‐Driven Two‐Input 3D Microfluidic Logic Gates (Adv. Sci. 2/2020) [O] . Nazek El‐Atab, Javier Chavarrio Canas, Muhammad M. Hussain 2020

机译：微流体逻辑门：压力驱动的两输入3D微流体逻辑门（Adv。Sci。2/2020）
7. Axiomatizing the lexicographic products of modal logics with linear temporal logic [O] . Balbiani Philippe, Fernandez Duque David 2016

机译：用线性时间逻辑公理化模态逻辑的词典产品
8. Axiomatization, Declarative Semantics and Operational Semantics of Passive andActive Updates in Logic Databases [R] . Spruit, P., Wieringa, R., Meyer, J. J. C. 1992

机译：逻辑数据库中被动和主动更新的公理化，声明语义和操作语义

On Axiomatizing Shramko-Wansing’s Logic

摘要

著录项

相似文献

相关主题

期刊订阅