Q6119646
type: Item
instance of: scholarly article
arXiv ID: 2310.01916
author: Q6119644
author: Q6119645
author: Bruno Bentzen
publication date: 2024-03-22T00:00:00Z
full work available at URL: https://arxiv.org/abs/2310.01916
full work available at URL: chapter.3
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B05
zbMATH DE Number: 7823010
zbMATH Keywords: intuitionistic propositional logic
zbMATH Keywords: Henkin completeness
zbMATH Keywords: formal proofs
zbMATH Keywords: Lean
MaRDI profile type: Publication
has companion code repository: ipl
description: scientific article; zbMATH DE number 7823010