The logic of Peirce algebras
type: Item
instance of: scholarly article
title: The logic of Peirce algebras
zbMATH Open document ID: 0842.03015
DOI: 10.1007/BF01049414
author: Maarten de Rijke
published in: Journal of Logic, Language and Information
publication date: 1996-05-08T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 856768
zbMATH Keywords: relation algebras
zbMATH Keywords: logics of programs
zbMATH Keywords: knowledge representation
zbMATH Keywords: Peirce algebras
zbMATH Keywords: modal logic
zbMATH Keywords: expressive power
MaRDI profile type: Publication
cites work: Language in action
cites work: Variable-free semantics for anaphora
cites work: Boolean modules
cites work: Peirce algebras
cites work: The weakest prespecification
cites work: Counting Objects
cites work: Varieties of relation algebras
cites work: The representation of relational algebras
cites work: Some Varieties Containing Relation Algebras
cites work: Q4250041
cites work: Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
cites work: A Modal Logic for Chopping Intervals
cites work: Derivation rules as anti-axioms in modal logic
Recommended article: Concept Lattices
Recommended article: Valental aspects of Peircean algebraic logic
Recommended article: Q4319174
Recommended article: Peirce algebras
Recommended article: Q4679108
Recommended article: The Teridentity and Peircean Algebraic Logic
Recommended article: Dérivations de Peirce et structure d’algèbre
Recommended article: Q4291709
Recommended article: Q5749292
Recommended article: Peirce Algebras and Boolean Modules
description: scientific article; zbMATH DE number 856768