On a generalized cylindrical algebra and intuitionistic logic

DOI10.1007/BF02123239zbMATH Open0304.02012MaRDI QIDQ1216293FDOQ1216293

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• On closed elements in closure algebras
• Some theorems about the sentential calculi of Lewis and Heyting
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On weakened quantification

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)