Finite axiomatization for some intermediate logics

DOI10.1007/BF00713551MaRDI QIDQ1165839zbMATH OpenFDO

Authors Irena Janicka-Żuk

Publication date 1980

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00713551

zbMATH Keywords

pseudo-Boolean algebraset of divisors

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites work

• Constructing denumerable matrices strongly adequate for pre-finite logics
• scientific article; zbMATH DE number 3131078 (Why is no real title available?)
• scientific article; zbMATH DE number 3222132 (Why is no real title available?)
• Kripke models and intermediate logics
• The decidability of certain intermediate propositional logics

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

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