scientific article; zbMATH DE number 3997784

zbMath0616.03035MaRDI QIDQ4724624

No author found.

Publication date: 1985

Full work available at URL: https://eudml.org/doc/181751

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

conservative extensionmodal operatorsintuitionistic connectiveIPCintuitionistic implicational logicintuitionistic sentential calculusintuitionistic predicate calculusBeth semanticsarithmetically definable modelintuitionistic sentential connective

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intuitionistic mathematics (03F55)

Related Items (5)

What is a relevant connective? ⋮ Bi-intuitionistic implication structures ⋮ Pragmatic and dialogic interpretations of bi-intuitionism. Part I ⋮ Types with intersection: An introduction ⋮ The pleasures of anticipation: Enriching intuitionistic logic

This page was built for publication: