A note on Humberstone's constant Ω

From MaRDI portal

Publication:5025701

Jump to:navigation, search

DOI10.4467/20842589RM.21.006.14376OpenAlexW3212750128MaRDI QIDQ5025701

Hitoshi Omori, Satoru Niki

Publication date: 2 February 2022

Full work available at URL: https://www.ejournals.eu/rml/2021/Number-56/art/20103/

zbMATH Keywords

deduction theorem intuitionistic logic minimal logic actuality operator empirical negation

Mathematics Subject Classification ID

Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: A note on Humberstone's constant Ω

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5025701&oldid=19497150"