Infinitary intuitionistic logic from a classical point of view

DOI10.1016/0003-4843(78)90015-3zbMath0406.03055OpenAlexW1981403427MaRDI QIDQ4192043

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 ModelsModel ConstructionBeth ModelsGentzen Type Proof SystemsInfinitary Intuitionistic LogicInfinite ConjunctionPseudoboolean Models

Mathematics Subject Classification ID

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

Related Items (12)

Infinitary first-order categorical logic ⋮ Infinitary Equilibrium Logic and Strong Equivalence ⋮ Infinitary equilibrium logic and strongly equivalent logic programs ⋮ Classifying toposes for first-order theories ⋮ A Lindström theorem for intuitionistic first-order logic ⋮ The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ A semantic hierarchy for intuitionistic logic ⋮ Kripke completeness of infinitary predicate multimodal logics ⋮ The free process algebra generated by \(\delta \), \(\epsilon\) and \(\tau \) ⋮ PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION ⋮ Geometric Rules in Infinitary Logic

This page was built for publication: Infinitary intuitionistic logic from a classical point of view