Infinitary intuitionistic logic from a classical point of view

DOI10.1016/0003-4843(78)90015-3MaRDI QIDQ4192043zbMATH OpenOpenAlexFDO

Authors Mark E. Nadel

Publication date 1978

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0003-4843(78)90015-3

zbMATH Keywords

Kripke ModelsBeth ModelsModel ConstructionGentzen Type Proof SystemsInfinitary Intuitionistic LogicInfinite ConjunctionPseudoboolean Models

Mathematics Subject Classification ID

Other model constructions (03C30) Other infinitary logic (03C75) Intuitionistic mathematics (03F55)

Cited in

(15)

• Infinitary equilibrium logic and strongly equivalent logic programs
• Infinitary logic with infinite sequents: syntactic investigations
• Kripke completeness of infinitary predicate multimodal logics
• A semantic hierarchy for intuitionistic logic
• A Lindström theorem for intuitionistic first-order logic
• Classifying toposes for first-order theories
• The free process algebra generated by \(\delta \), \(\epsilon\) and \(\tau \)
• Infinitary Equilibrium Logic and Strong Equivalence
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• Infinitary first-order categorical logic
• Geometric Rules in Infinitary Logic
• A complete axiomatization of infinitary first-order intuitionistic logic over \(\mathcal{L}_{\kappa^+ , \kappa} \)
• 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 intuitionistic logic from a classical point of view

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