Decision procedures for \(S2^ 0\) and \(T^ 0\)

DOI10.1305/NDJFL/1093957982zbMath0129.25803OpenAlexW2016539889MaRDI QIDQ2394920

Ivo Thomas

Publication date: 1964

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

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

zbMATH Keywords

mathematical logic

Related Items (2)

Lemmon-style bases for the systems S1°-S4° ⋮ Decision procedures for S3∘ and S4∘

This page was built for publication: Decision procedures for \(S2^ 0\) and \(T^ 0\)