Ockham Algebras—An Urquhart Legacy

Thomas Blyth; Herberto de Jesus da Silva

doi:10.1007/978-3-030-71430-7_14

Ockham Algebras—An Urquhart Legacy

Thomas Blyth, Herberto de Jesus da Silva

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Abstract

We highlight the fundamental influence that the work of Alasdair Urquhart has had in the area of distributive lattice-ordered algebras and in particular to the development of Ockham algebras, to which we attach some new results.

Original language	English
Title of host publication	Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
Editors	Ivo Düntsch, Edwin Mares
Place of Publication	Cham
Publisher	Springer
Chapter	14
Pages	367-387
Number of pages	21
ISBN (Electronic)	978-3-030-71430-7
ISBN (Print)	978-3-030-71429-1, 978-3-030-71432-1
DOIs	https://doi.org/10.1007/978-3-030-71430-7_14
Publication status	Published - 2022

Publication series

Name	Outstanding Contributions to Logic
Publisher	Springer
Volume	22
ISSN (Print)	2211-2758
ISSN (Electronic)	2211-2766

Keywords

Berman class
De Morgan algebra
Dual space
Endomorphism
g-cycle
Kleene algebra
Ockham algebra
Subdirectly irreducible
Urquhart class

Access to Document

10.1007/978-3-030-71430-7_14

https://link.springer.com/chapter/10.1007/978-3-030-71430-7_14

Cite this

@inbook{ff1e7d51d3f343058c62ecb2c34462ab,

title = "Ockham Algebras—An Urquhart Legacy",

abstract = "We highlight the fundamental influence that the work of Alasdair Urquhart has had in the area of distributive lattice-ordered algebras and in particular to the development of Ockham algebras, to which we attach some new results.",

keywords = "Berman class, De Morgan algebra, Dual space, Endomorphism, g-cycle, Kleene algebra, Ockham algebra, Subdirectly irreducible, Urquhart class",

author = "Thomas Blyth and Silva, {Herberto de Jesus da}",

note = "Funding Information: info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F00297%2F2020/PT# Publisher Copyright: {\textcopyright} 2022, Springer Nature Switzerland AG.",

year = "2022",

doi = "10.1007/978-3-030-71430-7_14",

language = "English",

isbn = "978-3-030-71429-1",

series = "Outstanding Contributions to Logic",

publisher = "Springer",

pages = "367--387",

editor = "Ivo D{\"u}ntsch and Mares, {Edwin }",

booktitle = "Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs",

address = "Netherlands",

}

TY - CHAP

T1 - Ockham Algebras—An Urquhart Legacy

AU - Blyth, Thomas

AU - Silva, Herberto de Jesus da

PY - 2022

Y1 - 2022

N2 - We highlight the fundamental influence that the work of Alasdair Urquhart has had in the area of distributive lattice-ordered algebras and in particular to the development of Ockham algebras, to which we attach some new results.

AB - We highlight the fundamental influence that the work of Alasdair Urquhart has had in the area of distributive lattice-ordered algebras and in particular to the development of Ockham algebras, to which we attach some new results.

KW - Berman class

KW - De Morgan algebra

KW - Dual space

KW - Endomorphism

KW - g-cycle

KW - Kleene algebra

KW - Ockham algebra

KW - Subdirectly irreducible

KW - Urquhart class

UR - http://www.scopus.com/inward/record.url?scp=85116145933&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-71430-7_14

DO - 10.1007/978-3-030-71430-7_14

M3 - Chapter

AN - SCOPUS:85116145933

SN - 978-3-030-71429-1

SN - 978-3-030-71432-1

T3 - Outstanding Contributions to Logic

SP - 367

EP - 387

BT - Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

A2 - Düntsch, Ivo

A2 - Mares, Edwin

PB - Springer

CY - Cham

ER -

Ockham Algebras—An Urquhart Legacy

Abstract

Publication series

Keywords

Access to Document

Other files and links

Fingerprint

Cite this