scientific article; zbMATH DE number 1390272

From MaRDI portal

Publication:4934559

Jump to:navigation, search

zbMath0957.03009MaRDI QIDQ4934559

Jörg Hudelmaier

Publication date: 17 January 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

semantics Kripke semantics intuitionistic logic tableau calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Related Items (2)

Intuitionistic Decision Procedures Since Gentzen ⋮ The G4i analogue of a G3i sequent calculus

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4934559&oldid=19350122"