John Harding

According to our database, John Harding authored at least 42 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Remarks on hyperspaces for Priestley spaces.

Guram Bezhanishvili, John Harding, Patrick J. Morandi

Theor. Comput. Sci., 2023

2022

Completions of Pseudo Ordered Sets.

Maria D. Cruz-Quinones, John Harding

Order, 2022

2021

Hyper-MacNeille Completions of Heyting Algebras.

John Harding, Frederik Möllerström Lauridsen

Stud Logica, 2021

Topos Quantum Theory with Short Posets.

John Harding, Chris Heunen

Order, 2021

2020

Raney Algebras and Duality for T₀-Spaces.

Guram Bezhanishvili, John Harding

Appl. Categorical Struct., 2020

2019

Boolean Subalgebras of Orthoalgebras.

John Harding, Chris Heunen, Bert Lindenhovius, Mirko Navara

Order, 2019

Compact Hausdorff Spaces with Relations and Gleason Spaces.

Guram Bezhanishvili, David Gabelaia, John Harding, Mamuka Jibladze

Appl. Categorical Struct., 2019

2018

CTRL: A Flexible, Precision Interface for Analog Synthesis.

John Harding, Richard Graham, Edwin Park

Proceedings of the 18th International Conference on New Interfaces for Musical Expression, 2018

2017

Varieties of Birkhoff Systems Part II.

John Harding, Anna B. Romanowska

Order, 2017

Varieties of Birkhoff Systems Part I.

John Harding, Anna B. Romanowska

Order, 2017

2016

On the Proof that Compact Hausdorff Boolean Algebras are Powersets.

Guram Bezhanishvili, John Harding

Order, 2016

Overview of Lattices of Convex Normal Functions.

John Harding, Carol L. Walker, Elbert A. Walker

Int. J. Intell. Syst., 2016

SceneMaker: Creative Technology for Digital StoryTelling.

Murat Akser, Brian Bridges, Giuliano Campo, Abbas Cheddad, Kevin Curran, Lisa Fitzpatrick, Linley Hamilton, John Harding, Ted Leath, Tom Lunney, Frank Lyons, Minhua Ma, John MacRae, Tom Maguire, Aiden McCaughey, Eileen McClory, Victoria McCollum, Paul Mc Kevitt, Adam Melvin, Paul Moore, Eleanor Mulholland, Karla Muñoz, Greg O'Hanlon, Laurence Roman

Proceedings of the Interactivity, Game Creation, Design, Learning, and Innovation, 2016

2015

Modal compact Hausdorff spaces.

Guram Bezhanishvili, Nick Bezhanishvili, John Harding

J. Log. Comput., 2015

Equations in Type-2 Fuzzy Sets.

John Harding, Carol L. Walker, Elbert A. Walker

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2015

Partial Orders on Fuzzy Truth Value Algebras.

John Harding, Carol L. Walker, Elbert A. Walker

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2015

Modal Operators on Compact Regular Frames and de Vries Algebras.

Guram Bezhanishvili, Nick Bezhanishvili, John Harding

Appl. Categorical Struct., 2015

Septar: audio breakout design for multichannel guitar.

Richard Graham, John Harding

Proceedings of the 15th International Conference on New Interfaces for Musical Expression, 2015

2014

Categories with fuzzy sets and relations.

John Harding, Carol L. Walker, Elbert A. Walker

Fuzzy Sets Syst., 2014

Proximity Frames and Regularization.

Guram Bezhanishvili, John Harding

Appl. Categorical Struct., 2014

The Ongreening Pavilion.

John Harding, Will Pearson, Harri Lewis, Stephen Melville

Proceedings of the Advances in Architectural Geometry, 2014

2013

Type-2 Fuzzy Sets and Bichains.

John Harding, Carol L. Walker, Elbert A. Walker

Proceedings of the Advances in Type-2 Fuzzy Sets and Systems - Theory and Applications, 2013

Daggers, Kernels, Baer *-semigroups, and Orthomodularity.

John Harding

J. Philos. Log., 2013

Decidability of the Equational Theory of the Continuous Geometry $CG(\Bbb {F})$.

John Harding

J. Philos. Log., 2013

Partial orders on the truth value algebra of finite type-2 fuzzy sets.

John Harding, Carol L. Walker, Elbert A. Walker

Proceedings of the Joint IFSA World Congress and NAFIPS Annual Meeting, 2013

2012

The 3rd International Conference on Boolean Algebra, Lattice Theory, Universal Algebra, Set Theory and Set-theoretical Topology - BLAST 2010.

John Harding, Bart Kastermans, Keith A. Kearnes, J. Donald Monk, Ágnes Szendrei

Order, 2012

Modal Logics of Stone Spaces.

Guram Bezhanishvili, John Harding

Order, 2012

Thinking Topologically at Early Stage Parametric Design.

John Harding, Sam Joyce, Paul Shepherd, Chris Williams

Proceedings of the Advances in Architectural Geometry, 2012

2011

Subalgebras of Orthomodular Lattices.

John Harding, Mirko Navara

Order, 2011

2010

Convex normal functions revisited.

John Harding, Carol L. Walker, Elbert A. Walker

Fuzzy Sets Syst., 2010

The variety generated by the truth value algebra of type-2 fuzzy sets.

John Harding, Carol L. Walker, Elbert A. Walker

Fuzzy Sets Syst., 2010

Associative Spatial Networks in Architectural Design: Artificial Cognition of Space Using Neural Networks with Spectral Graph Theory.

John Harding, Christian Derix

Proceedings of the Design Computing and Cognition '10, 2010

2009

The modal logic of beta(N).

Guram Bezhanishvili, John Harding

Arch. Math. Log., 2009

2008

Completions of Ordered Algebraic Structures: A Survey.

John Harding

Proceedings of the Interval / Probabilistic Uncertainty and Non-Classical Logics, 2008

<i>kappa</i> -Complete Uniquely Complemented Lattices.

John Harding

Order, 2008

Lattices of convex normal functions.

John Harding, Carol L. Walker, Elbert A. Walker

Fuzzy Sets Syst., 2008

2007

On Complete Sublattices of the Algebra of Truth Values of Type-2 Fuzzy Sets.

John Harding, Carol L. Walker, Elbert A. Walker

Proceedings of the FUZZ-IEEE 2007, 2007

2003

<i>Obituary</i>: Günter Bruns.

John Harding, Michael S. Roddy

Order, 2003

2000

Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups.

John Harding, Mirko Navara

Order, 2000

Epimorphisms in Certain Varieties of Algebras.

Gunter Bruns, John Harding

Order, 2000

1999

Dynamically Programmable Cache Evaluation and Virtualization.

Mouna Nakkar, David G. Bentlage, John Harding, David Schwartz, Paul D. Franzon, Thomas M. Conte

Proceedings of the 1999 ACM/SIGDA Seventh International Symposium on Field Programmable Gate Arrays, 1999

1997

Local Radon-Nikodym Derivatives of Set Functions.

John Harding, Massimo Marinacci, Nhu T. Nguyen, Tonghui Wang

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1997