scientific article; zbMATH DE number 517068

From MaRDI portal

Publication:4282597

Jump to:navigation, search

zbMath0794.03075MaRDI QIDQ4282597

Mario R. F. Benevides

Publication date: 28 August 1994

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

zbMATH Keywords

consistency completeness first-order logic natural deduction intuitionistic logic cut-elimination consequence relations

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication:

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