Synonymous logics (vol 32, pg 259, 2003)

被引：2

作者：

Pelletier, Francis Jeffry ^{[1
]}

Urquhart, Alasdair ^{[2
]}

机构：

[1] Simon Fraser Univ, Burnaby, BC V5A 1S6, Canada

[2] Univ Toronto, Toronto, ON, Canada

来源：

JOURNAL OF PHILOSOPHICAL LOGIC | 2008年 / 37卷 / 01期

关键词：

modal logics; translational equivalence; translations;

D O I：

10.1007/s10992-007-9062-2

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

In an earlier paper entitled Synonymous Logics, the authors attempted to show that there are two modal logics so that each is exactly translatable into the other, but they are not translationally equivalent. Unfortunately, there is an error in the proof of this result. The present paper provides a new example of two such logics, and a proof of the result claimed in the earlier paper.

引用

页码：95 / 100

页数：6

共 50 条

[1] Popper and systematics (vol 52, pg 259, 2003)
Rieppel, O
SYSTEMATIC BIOLOGY, 2003, 52 (04) : 569 - 569
[2] Ageing: Microarraying mortality (vol 424, pg 259, 2003)
Gems, D
McElwee, JJ
NATURE, 2003, 425 (6954) : 141 - 141
[3] Ample filters of invertible sheaves (vol 259, pg 243, 2003)
Keeler, Dennis S.
JOURNAL OF ALGEBRA, 2018, 507 : 592 - 598
[4] Significance (vol 32, pg 128, 2003)
Gregory, R
PERCEPTION, 2003, 32 (04) : 516 - 516
[5] Preparation of hydroxyapatite via microemulsion route (vol 259, pg 254, 2003)
Koumoulidis, GC
Katsoulidis, AP
Ladavos, AK
Pomonis, PJ
Trapalis, CC
Sdoukos, AT
Vaimakis, TC
JOURNAL OF COLLOID AND INTERFACE SCIENCE, 2003, 263 (01) : 341 - 341
[6] A categorical approach to affective gesture recognition (vol 15, pg 259, 2003)
Bianchi-Berthouze, N
Kleinsmith, A
CONNECTION SCIENCE, 2004, 16 (01) : 69 - 69
[7] Behind the mask (vol 179, pg 32, 2003)
Westphal, SP
NEW SCIENTIST, 2003, 179 (2409) : 25 - 25
[8] No gag, no food (vol 32, pg 674, 2003)
Smithard, DG
Spriggs, D
Reddy, M
AGE AND AGEING, 2004, 33 (03) : 324 - 324
[9] Realism and sociology (vol 32, pg 651, 2003)
Cruickshank, J
CONTEMPORARY SOCIOLOGY-A JOURNAL OF REVIEWS, 2004, 33 (01) : CP6 - CP6
[10] Synonymous Logics
Francis Jeffry Pelletier
Alasdair Urquhart
Journal of Philosophical Logic, 2003, 32 (3) : 259 - 285

← 1 2 3 4 5 →