Reports on Mathematical Logic
,  volume 56 ,  pages 75-99

A note on Humberstone's constant Ω

Publication type: Journal Article
Publication date: 2021-11-23
scimago Q2
wos Q4
SJR: 0.160
CiteScore: 0.4
Impact factor: <0.1
ISSN: 01372904, 20842589
Abstract

We investigate an expansion of positive intuitionistic logic obtained by adding a constant Ω introduced by Lloyd Humberstone. Our main results include a sound and strongly complete axiomatization, some comparisons to other expansions of intuitionistic logic obtained by adding actuality and empirical negation, and an algebraic semantics. We also brie y discuss its connection to classical logic.

Found 
Found 

Top-30

Journals

1
Electronic Proceedings in Theoretical Computer Science, EPTCS, 1, 100%
Electronic Proceedings in Theoretical Computer Science, EPTCS
1 publication, 100%
1

Publishers

1
electronic proceedings in theoretical computer science, eptcs, 1, 100%
electronic proceedings in theoretical computer science, eptcs
1 publication, 100%
1
  • We do not take into account publications without a DOI.
  • Statistics recalculated weekly.

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.
Metrics
1
Share
Cite this
GOST |
Cite this
GOST Copy
Niki S., OMORI H. A note on Humberstone's constant Ω // Reports on Mathematical Logic. 2021. Vol. 56. pp. 75-99.
GOST all authors (up to 50) Copy
Niki S., OMORI H. A note on Humberstone's constant Ω // Reports on Mathematical Logic. 2021. Vol. 56. pp. 75-99.
RIS |
Cite this
RIS Copy
TY - JOUR
DO - 10.4467/20842589RM.21.004.14376
UR - https://www.ejournals.eu/rml/2021/Number-56/art/20103/
TI - A note on Humberstone's constant Ω
T2 - Reports on Mathematical Logic
AU - Niki, Satoru
AU - OMORI, Hitoshi
PY - 2021
DA - 2021/11/23
PB - Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego
SP - 75-99
VL - 56
SN - 0137-2904
SN - 2084-2589
ER -
BibTex
Cite this
BibTex (up to 50 authors) Copy
@article{2021_Niki,
author = {Satoru Niki and Hitoshi OMORI},
title = {A note on Humberstone's constant Ω},
journal = {Reports on Mathematical Logic},
year = {2021},
volume = {56},
publisher = {Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego},
month = {nov},
url = {https://www.ejournals.eu/rml/2021/Number-56/art/20103/},
pages = {75--99},
doi = {10.4467/20842589RM.21.004.14376}
}