The simple substitution property of the intermediate propositional logics on finite slices

DOI10.1007/BF01053063MaRDI QIDQ1208115zbMATH OpenFDO

Authors Katsumi Sasaki

Publication date 16 May 1993

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

simple substitution propertyfinite characteristic modelslogics on finite slices

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 4164811
• Publication:3474634
• The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s
• A study of intermediate propositional logics on the third slice
• scientific article; zbMATH DE number 736425

Cites work

• scientific article; zbMATH DE number 4142009 (Why is no real title available?)
• scientific article; zbMATH DE number 4164811 (Why is no real title available?)
• scientific article; zbMATH DE number 3259885 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)
• Pseudo two-valued evaluation method for intermediate logics
• Untersuchungen über das logische Schliessen. I

Cited in

(5)

• scientific article; zbMATH DE number 4164811 (Why is no real title available?)
• On the simple substitution property for superintuitionistic and modal propositional logics
• Generalized tableau systems for intermediate propositional logics
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
• scientific article; zbMATH DE number 736425 (Why is no real title available?)

This page was built for publication: The simple substitution property of the intermediate propositional logics on finite slices

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