Q4345010
type: Item
instance of: scholarly article
zbMATH Open document ID: 0874.03030
publication date: 1997-08-18T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03B80
zbMATH DE Number: 1036757
zbMATH Keywords: equational logic
zbMATH Keywords: simulating nonclassical means of reasoning
zbMATH Keywords: relation algebras augmented with a fork operator
zbMATH Keywords: fork algebras
MaRDI profile type: Publication
Recommended article: Equational Reasoning in Non-Classical Logics
Recommended article: Equational logic as a tool
Recommended article: Equational propositional logic
Recommended article: On the mathematical synthesis of equational logics
Recommended article: Some Varieties of Equational Logic
Recommended article: Equational coalgebraic logic
Recommended article: Q4273482
Recommended article: Q4011724
Recommended article: Q3784072
Recommended article: An Equational Approach to Logic Programming
description: scientific article; zbMATH DE number 1036757