Open AccessBetween $Int_{\omega , \omega}$ and intuitionistic propositional logic
Author(s) -
В. М. Попов
Publication year - 2013
Publication title -
logičeskie issledovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2013-19-0-197-199
Subject(s) - omega , int , propositional variable , zeroth order logic , intuitionistic logic , propositional calculus , mathematics , calculus (dental) , intermediate logic , discrete mathematics , philosophy , computer science , programming language , linguistics , medicine , multimodal logic , dentistry , description logic
This short paper presents a new domain of logical investigations.