scientific article

From MaRDI portal

Publication:3338210

Jump to:navigation, search

zbMath0547.03005MaRDI QIDQ3338210

Jan Zygmunt

Publication date: 1983

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

zbMATH Keywords

sentential logic decidability finite axiomatizability structural consequence operation finitely approximable logic Lindenbaum matrices

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

This page was built for publication:

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