scientific article

From MaRDI portal

Publication:3795655

Jump to:navigation, search

zbMath0651.03019MaRDI QIDQ3795655

Małgorzata Porȩbska

Publication date: 1987

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

zbMATH Keywords

interpolation intermediate logics propositional fragments intuitionistic logic.

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

This page was built for publication:

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