The logic of Peirce algebras
- 1 September 1995
- journal article
- Published by Springer Nature in Journal of Logic, Language and Information
- Vol. 4 (3) , 227-250
- https://doi.org/10.1007/bf01049414
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Counting ObjectsJournal of Logic and Computation, 1995
- Sahlqvist's theorem for boolean algebras with operators with an application to cylindric algebrasStudia Logica, 1995
- Peirce algebrasFormal Aspects of Computing, 1994
- Derivation rules as anti-axioms in modal logicThe Journal of Symbolic Logic, 1993
- Variable-free semantics for anaphoraJournal of Philosophical Logic, 1992
- The weakest prespecificationInformation Processing Letters, 1987
- Varieties of relation algebrasAlgebra universalis, 1982
- Some varieties containing relation algebrasTransactions of the American Mathematical Society, 1982
- Boolean modulesJournal of Algebra, 1981
- The Representation of Relational AlgebrasAnnals of Mathematics, 1950