Single axiom schemata for \(D\) and \(S\)

DOI10.1305/NDJFL/1093958752zbMath0169.30404OpenAlexW2064138449WikidataQ114598174 ScholiaQ114598174MaRDI QIDQ2531278

Thomas W. Scharle

Publication date: 1966

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093958752

zbMATH Keywords

model theoryalgebraic logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: Single axiom schemata for \(D\) and \(S\)