On a generalized cylindrical algebra and intuitionistic logic

DOI10.1007/BF02123239MaRDI QIDQ1216293zbMATH OpenFDO

Authors Jerzy Kotas, August Pieczkowski

Publication date 1966

Published in Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Intermediate logics (03B55) Cylindric and polyadic algebras; relation algebras (03G15)

Cites work

• scientific article; zbMATH DE number 3120840 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3321231 (Why is no real title available?)
• scientific article; zbMATH DE number 3196257 (Why is no real title available?)
• scientific article; zbMATH DE number 3052787 (Why is no real title available?)
• On closed elements in closure algebras
• On weakened quantification
• Some theorems about the sentential calculi of Lewis and Heyting

Cited in

(5)

• On logical systems with implications and theories of algebras
• Quantum monadic algebras
• A representation theorem for polyadic Heyting algebras
• About the equivalent theories of algebras with relations
• The abstract variable-binding calculus

This page was built for publication: On a generalized cylindrical algebra and intuitionistic logic

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