A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC.
We construct four binary consequence systems axiomatizing entailment relations between formulas of classical, intuitionistic, dual-intuitionistic and modal (S4) logics, respectively. It is shown that the intuitionistic consequence system is embeddable in the modal (S4) one by the usual modal transla...
| Publicado en: | Review of Symbolic Logic Vol. 9; no. 2; pp. 251 - 266 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Cambridge University Press
Jun2016
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=115829501&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 115829501 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 17550203 8OI1 jtl: Review of Symbolic Logic issn: 17550203 maglogo: N pubinfo: dt: Jun2016 vid: 9 iid: 2 pid: 15979 pub: Cambridge University Press artinfo: ui: 115829501 10.1017/S1755020316000022 ppf: 251 ppct: 15 formats: tig: atl: A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC. aug: au: SHRAMKO, YAROSLAV affil: Department of Philosophy Kryvyi Rih State Pedagogical University su: Intuitionistic mathematics Mathematical logic Binary number system Computer arithmetic Mathematical formulas sug: subj: Intuitionistic mathematics Mathematical logic Binary number system Computer arithmetic Mathematical formulas ab: We construct four binary consequence systems axiomatizing entailment relations between formulas of classical, intuitionistic, dual-intuitionistic and modal (S4) logics, respectively. It is shown that the intuitionistic consequence system is embeddable in the modal (S4) one by the usual modal translation prefixing □ to every subformula of the translated formula. An analogous modal translation of dual-intuitionistic formulas then consists of prefixing ◊ to every subformula of the translated formula. The philosophical importance of this result is briefly discussed. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2016 holdings: @attributes: islocal: N |
|---|