On a generalized cylindrical algebra and intuitionistic logic

DOI10.1007/BF02123239zbMath0304.02012MaRDI QIDQ1216293

August Pieczkowski, Jerzy Kotas

Publication date: 1966

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

Mathematics Subject Classification ID

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

Related Items

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

Cites Work

• On closed elements in closure algebras
• Some theorems about the sentential calculi of Lewis and Heyting
• On weakened quantification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item