Decision procedures for S2^ 0 and T^ 0

DOI10.1305/NDJFL/1093957982MaRDI QIDQ2394920zbMATH OpenOpenAlexFDO

Authors 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

Cited in

(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\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2394920)