The cardinality of parametric bases in chain logics

DOI10.1007/BF01156136zbMath0781.03010MaRDI QIDQ685632

I. V. Kuku

Publication date: 23 September 1993

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

chain logicextension of Dummett's system LCparametric bases

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Finite limitations on Dummett's LC
• A propositional calculus with denumerable matrix
• Finitely Many Primitive Positive Clones

This page was built for publication: The cardinality of parametric bases in chain logics