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

DOI10.1007/BF01053063zbMath0771.03009MaRDI QIDQ1208115

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)

Related Items (3)

Generalized tableau systems for intermediate propositional logics ⋮ BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS ⋮ On the simple substitution property for superintuitionistic and modal propositional logics

Cites Work

• Pseudo two-valued evaluation method for intermediate logics
• Untersuchungen über das logische Schliessen. I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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