scientific article; zbMATH DE number 3634226

From MaRDI portal

Publication:4194936

Jump to:navigation, search

zbMath0408.03018MaRDI QIDQ4194936

Zdzisław Dywan

Publication date: 1978

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

zbMATH Keywords

Decidability Structural Completeness Consequence Operation Strongly Finite Propositional Calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General logic (03B99)

Related Items (2)

Singly generated quasivarieties and residuated structures ⋮ Deciding active structural completeness

This page was built for publication:

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