Infinitary intuitionistic logic from a classical point of view

DOI10.1016/0003-4843(78)90015-3zbMATH Open0406.03055OpenAlexW1981403427MaRDI QIDQ4192043FDOQ4192043

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 logic with infinite sequents: syntactic investigations
• Kripke completeness of infinitary predicate multimodal logics
• A Lindström theorem for intuitionistic first-order logic
• A semantic hierarchy for intuitionistic logic
• Classifying toposes for first-order theories
• Infinitary Equilibrium Logic and Strong Equivalence
• The free process algebra generated by \(\delta \), \(\epsilon\) and \(\tau \)
• 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
• Infinitary equilibrium logic and strongly equivalent logic programs

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)