scientific article

From MaRDI portal

Publication:2779006

Jump to:navigation, search

zbMath0989.03070MaRDI QIDQ2779006

Yang Xu, Zhenming Song, Wei Wang

Publication date: 22 July 2002

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

zbMATH Keywords

propositional logic syllogism lattice implication algebras filter substitution theorem transitivity of implication

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Classical propositional logic (03B05)

This page was built for publication:

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