Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property

DOI10.1002/MALQ.19960420141zbMath0871.03017OpenAlexW1989174627MaRDI QIDQ5687414

Daniela Silvestrini, Pierangelo Miglioli, Guido Bertolotti

Publication date: 29 September 1997

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19960420141

zbMATH Keywords

Kripke semanticsdisjunction propertyKripke framemaximal intermediate logics

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intermediate logics (03B55)

This page was built for publication: Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property