正交蕴涵公理
伊万·查伊达
捷克斯洛伐克数学杂志(2008)
- 第58卷,第1期,第15-21页
- 国际标准编号:0011-4642
我们在由正交格导出的逻辑中建立了表征逻辑连接蕴涵的公理。它是J.C.Abbott针对由正交模格导出的逻辑给出的正交蕴涵代数的自然推广。
伊万·查达(Ivan Chajda)。“直系学中的隐含公理。”捷克斯洛伐克数学杂志58.1 (2008): 15-21. <http://eudml.org/doc/31196>.
@文章{Chajda2008,
abstract={我们建立了表征由正交格导出的逻辑中逻辑关联蕴涵的公理。它是J.C.Abbott给出的由正交模格导出的一个逻辑的正交蕴涵代数的自然推广。},
author={Chajda,Ivan},
journal={捷克斯洛伐克数学杂志},
关键词={正交格;正交蕴涵;正交;正交格;正蕴涵;正统},
语言={eng},
数字={1},
页数={15-21},
publisher={捷克共和国科学院数学研究所},
title={正交逻辑中蕴涵的公理},
url={http://eudml.org/doc/31196},
体积={58},
年份={2008},
}
TY-JOUR公司
AU-查伊达,伊万
TI-正交蕴涵公理
JO-捷克斯洛伐克数学杂志
2008年上半年
PB-捷克共和国科学院数学研究所
VL-58
为-1
SP-15
EP-21
我们在由正交格导出的逻辑中建立了表征逻辑关联蕴涵的公理。它是J.C.Abbott针对由正交模格导出的逻辑给出的正交蕴涵代数的自然推广。
洛杉矶-eng
KW——正交晶格;正蕴涵;正交;正晶格;正蕴涵;正交的
UR-(欧元)http://eudml.org/doc/31196
急诊室-
要在您的页面上嵌入这些注释,请在您希望注释出现的页面上包含以下JavaScript代码。