Finite axiomatization for some intermediate logics

DOI10.1007/BF00713551zbMath0488.03015MaRDI QIDQ1165839

I. Janicka-Zuk

Publication date: 1980

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

zbMATH Keywords

pseudo-Boolean algebraset of divisors

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Unnamed Item
• Constructing denumerable matrices strongly adequate for pre-finite logics
• Kripke models and intermediate logics
• The decidability of certain intermediate propositional logics

This page was built for publication: Finite axiomatization for some intermediate logics