Infinitary propositional intuitionistic logic

DOI10.1305/NDJFL/1093883041MaRDI QIDQ1229706zbMATH OpenOpenAlexFDO

Authors Craig Kalicki

Publication date 1980

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093883041

zbMATH Keywords

proof theorysemanticscompletenesspropositional intuitionistic logicinfinite conjunctions and disjunctions

Mathematics Subject Classification ID

Intermediate logics (03B55) Other infinitary logic (03C75) Proof theory and constructive mathematics (03F99)

Cited in

(6)

• Infinitary logic with infinite sequents: syntactic investigations
• Combining linear-time temporal logic with constructiveness and paraconsistency
• Classifying toposes for first-order theories
• Preservation of structural properties in intuitionistic extensions of an inference relation
• The logic ILP for intuitionistic reasoning about probability
• The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions

This page was built for publication: Infinitary propositional intuitionistic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1229706)