The calculus of relations as a foundation for mathematics
type: Item
instance of: scholarly article
title: The calculus of relations as a foundation for mathematics
zbMATH Open document ID: 1121.03018
author: Steven R. Givant
published in: Journal of Automated Reasoning
publication date: 2007-05-03T00:00:00Z
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 5149177
zbMATH Keywords: variable-free equational logic
zbMATH Keywords: three-variable first-order logic
zbMATH Keywords: subsystem of sentential logic
zbMATH Keywords: algebraic theory of binary relations
zbMATH Keywords: automated reasoning
MaRDI profile type: Publication
full work available at URL: s10817-006-9062-x
OpenAlex ID: W1971852817
cites work: Q4789455
cites work: Relational Methods in Computer Science
cites work: Model theory.
cites work: Q3235339
cites work: Q4052071
cites work: Many-dimensional modal logics: theory and applications
cites work: Q3282928
cites work: Q5721231
cites work: Q5616133
cites work: Cylindric algebras. Part II
cites work: Relation algebra reducts of cylindric algebras and an application to proof theory
cites work: Provability with Finitely Many Variables
cites work: Relation algebras by games
cites work: Einkleidung der Mathematik in Schröderschen Relativkalkul
cites work: Some sufficient conditions for the representability of relation algebras
cites work: Nonfinite axiomatizability results for cylindric and relation algebras
cites work: Q4250068
cites work: On representable relation algebras
cites work: Nonfinitizability of classes of representable cylindric algebras
cites work: Q4205403
cites work: On the calculus of relations
cites work: A simplified formalization of predicate logic with identity
cites work: Q4040000
cites work: Undecidable theories
cites work: Q5567863
Wikidata QID: Q56686426
DBLP publication ID: journals/jar/Givant06
DOI: 10.1007/S10817-006-9062-X
description: scientific article; zbMATH DE number 5149177