scientific article

From MaRDI portal

Publication:3897030

Jump to:navigation, search

zbMath0451.03001MaRDI QIDQ3897030

Małgorzata Bielecka-Hołda

Publication date: 1980

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

zbMATH Keywords

consequence operation independent basis non-degenerated distributive lattices

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Classical propositional logic (03B05)

Related Items (1)

An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic

This page was built for publication:

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