当前位置: X-MOL 学术Rev. Symb. Log. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
The Review of Symbolic Logic ( IF 0.6 ) Pub Date : 2019-03-28 , DOI: 10.1017/s1755020319000169
ALEX CITKIN

Positive logics are $\{ \wedge , \vee , \to \}$-fragments of intermediate logics. It is clear that the positive fragment of $Int$ is not structurally complete. We give a description of all hereditarily structurally complete positive logics, while the question whether there is a structurally complete positive logic which is not hereditarily structurally complete, remains open.

中文翻译:

遗传结构完整的正逻辑

积极的逻辑是$\{ \wedge , \vee , \to \}$- 中间逻辑的片段。很明显,正片断$INT$结构不完整。我们描述了所有遗传上结构完整的实证逻辑,而是否存在结构上不完整的遗传上结构完备的实证逻辑的问题仍然悬而未决。
更新日期:2019-03-28
down
wechat
bug