Decision procedures for S2^ 0 and T^ 0

DOI10.1305/NDJFL/1093957982zbMATH Open0129.25803OpenAlexW2016539889MaRDI QIDQ2394920FDOQ2394920

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)

• Decision procedures for S3∘ and S4∘
• Lemmon-style bases for the systems S1°-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)