A study of intermediate propositional logics on the third slice

DOI10.1007/BF01053061zbMath0764.03006MaRDI QIDQ1208111

Isao Masuda, Tsutomu Hosoi

Publication date: 16 May 1993

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

zbMATH Keywords

posetsintermediate logicsslicespos model

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items

A semantic hierarchy for intuitionistic logic ⋮ Modal logics that need very large frames

Cites Work

• Kripke models and intermediate logics
• Some results on the intermediate logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item