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

DOI10.1007/BF01053063zbMATH Open0771.03009MaRDI QIDQ1208115FDOQ1208115

Authors: Katsumi Sasaki 

Publication date: 16 May 1993

Published in: Studia Logica (Search for Journal in Brave)

Recommendations

• scientific article
• 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

zbMATH Keywords

simple substitution propertyfinite characteristic modelslogics on finite slices

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Untersuchungen über das logische Schliessen. I
• Title not available (Why is that?)
• Pseudo two-valued evaluation method for intermediate logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• On the simple substitution property for superintuitionistic and modal propositional logics
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
• Generalized tableau systems for intermediate propositional logics
• Title not available (Why is that?)
• Title not available (Why is that?)

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)