Model theory for an extension of intuitionistic logic

DOI10.1007/BF02121116zbMath0361.02034MaRDI QIDQ1239314

Cecylia Rauszer

Publication date: 1977

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Model theory (03C99) Intermediate logics (03B55)

Related Items (5)

Bi-simulating in bi-intuitionistic logic ⋮ A Lindström theorem for intuitionistic first-order logic ⋮ Semantic characterization of certain sets of intuitionistic logical connectives ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC

Cites Work

• Normal modal model theory
• Applications of Kripke models to Heyting-Brouwer logic
• Model Theory for Intuitionistic Logic

This page was built for publication: Model theory for an extension of intuitionistic logic