Pages that link to "Item:Q786804"
From MaRDI portal
The following pages link to A sequent calculus for relation algebras (Q786804):
Displaying 27 items.
- Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) (← links)
- Necessary subalgebras of simple nonintegral semiassociative relation algebras (Q757364) (← links)
- On varieties of cylindric algebras with applications to logic (Q1098852) (← links)
- Language in action (Q1177646) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Peirce algebras (Q1333408) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- Axiomatization of identity-free equations valid in relation algebras (Q1913874) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Varieties of semiassociative relation algebras and tense algebras (Q2310438) (← links)
- Strongly representable atom structures of relation algebras (Q2781354) (← links)
- Weak representations of relation algebras and relational bases (Q3173530) (← links)
- On a Graph Calculus for Algebras of Relations (Q3511467) (← links)
- On Automating the Calculus of Relations (Q3541686) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- Pair-Dense Relation Algebras (Q3985845) (← links)
- Relation algebras of every dimension (Q4032659) (← links)
- Nonfinite axiomatizability results for cylindric and relation algebras (Q4204149) (← links)
- Dynamic logic with program specifications and its relational proof system (Q4291023) (← links)
- A Completeness Result for Relation Algebra with Binders (Q4916210) (← links)
- Tarskian Classical Relevant Logic (Q5027232) (← links)
- ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS (Q5361138) (← links)
- On canonicity and completions of weakly representable relation algebras (Q5388728) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- Relation algebras from cylindric algebras. I (Q5956889) (← links)
- Relation algebras from cylindric algebras. II (Q5956890) (← links)
