Infinitary propositional intuitionistic logic
From MaRDI portal
Publication:1229706
DOI10.1305/ndjfl/1093883041zbMath0336.02021OpenAlexW2001667007MaRDI QIDQ1229706
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
completenessproof theorysemanticspropositional intuitionistic logicinfinite conjunctions and disjunctions
Other infinitary logic (03C75) Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)
Related Items (4)
Classifying toposes for first-order theories ⋮ The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions ⋮ Combining linear-time temporal logic with constructiveness and paraconsistency ⋮ PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION
This page was built for publication: Infinitary propositional intuitionistic logic
