Läuchli's completeness theorem from a topos-theoretic perspective
type: Item
instance of: scholarly article
title: Läuchli's completeness theorem from a topos-theoretic perspective
zbMATH Open document ID: 1211.03103
published in: Applied Categorical Structures
publication date: 2010-05-07T00:00:00Z
review text: The aim of this paper is to prove a variant of Läuchli's completeness theorem for intuitionistic predicate calculus.
reviewed by: Dana Piciu
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 5705486
zbMATH Keywords: Läuchli's completeness theorem
zbMATH Keywords: topos theory
zbMATH Keywords: intuitionistic predicate calculus
zbMATH Keywords: intuitionistic logic
author: Matias Menni
MaRDI profile type: Publication
full work available at URL: s10485-008-9124-9
OpenAlex ID: W2056936739
cites work: Linear Läuchli semantics
cites work: Some free constructions in realizability and proof theory
cites work: Lambek's categorical proof theory and Läuchli's abstract realizability
cites work: Q4828514
cites work: Q5812175
cites work: Q5509675
cites work: Q5642701
cites work: Q4896510
cites work: Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
cites work: Sheaves in geometry and logic: a first introduction to topos theory
cites work: The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1
cites work: Cocomplete toposes whose exact completions are toposes
DOI: 10.1007/S10485-008-9124-9
description: scientific article; zbMATH DE number 5705486