scientific article; zbMATH DE number 3300552

zbMath0188.30703MaRDI QIDQ5582292

No author found.

Publication date: 1966

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebra of logiclectures

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Related Items (16)

Iterative characterizations of Boolean algebras ⋮ The geometry of Boolean space and its elementary figures. I ⋮ An equational logic sampler ⋮ Relation-algebraic semantics ⋮ Special properties, closures and interiors of crisp and fuzzy relations ⋮ Linear Boolean equations and generalized minterms ⋮ Finite, integral, and finite-dimensional relation algebras: A brief history ⋮ ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS ⋮ Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders ⋮ An Agg Application Supporting Visual Reasoning1 ⋮ Relation algebras and their application in temporal and spatial reasoning ⋮ A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper ⋮ Cylindric structures and dependencies in relational databases ⋮ A proof system for contact relation algebras ⋮ Lorenzen and Constructive Mathematics ⋮ On the exterior calculus of invariant theory

This page was built for publication: