John Harding

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 12

Top Topics

Membership Degrees

Top Venues

Appl. Categorical Struct.

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

J. Philos. Log.

Publications

Guram Bezhanishvili, John Harding, Patrick J. Morandi
Remarks on hyperspaces for Priestley spaces. Theor. Comput. Sci. 943 (2023)
Maria D. Cruz-Quinones, John Harding
Completions of Pseudo Ordered Sets. Order 39 (1) (2022)
John Harding, Chris Heunen
Topos Quantum Theory with Short Posets. Order 38 (1) (2021)
Guram Bezhanishvili, John Harding
-Spaces. Appl. Categorical Struct. 28 (6) (2020)
John Harding, Chris Heunen, Bert Lindenhovius, Mirko Navara
Boolean Subalgebras of Orthoalgebras. Order 36 (3) (2019)
Guram Bezhanishvili, David Gabelaia, John Harding, Mamuka Jibladze
Compact Hausdorff Spaces with Relations and Gleason Spaces. Appl. Categorical Struct. 27 (6) (2019)
John Harding, Richard Graham, Edwin Park
CTRL: A Flexible, Precision Interface for Analog Synthesis. NIME (2018)
John Harding, Anna B. Romanowska
Varieties of Birkhoff Systems Part I. Order 34 (1) (2017)
John Harding, Anna B. Romanowska
Varieties of Birkhoff Systems Part II. Order 34 (1) (2017)
John Harding, Carol L. Walker, Elbert A. Walker
Overview of Lattices of Convex Normal Functions. Int. J. Intell. Syst. 31 (3) (2016)
Guram Bezhanishvili, John Harding
On the Proof that Compact Hausdorff Boolean Algebras are Powersets. Order 33 (2) (2016)
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
SceneMaker: Creative Technology for Digital StoryTelling. ArtsIT/DLI (2016)
Guram Bezhanishvili, Nick Bezhanishvili, John Harding
Modal compact Hausdorff spaces. J. Log. Comput. 25 (1) (2015)
Guram Bezhanishvili, Nick Bezhanishvili, John Harding
Modal Operators on Compact Regular Frames and de Vries Algebras. Appl. Categorical Struct. 23 (3) (2015)
Richard Graham, John Harding
Septar: audio breakout design for multichannel guitar. NIME (2015)
John Harding, Carol L. Walker, Elbert A. Walker
Equations in Type-2 Fuzzy Sets. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 23 (Supplement-1) (2015)
John Harding, Carol L. Walker, Elbert A. Walker
Partial Orders on Fuzzy Truth Value Algebras. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 23 (2) (2015)
Guram Bezhanishvili, John Harding
Proximity Frames and Regularization. Appl. Categorical Struct. 22 (1) (2014)
John Harding, Will Pearson, Harri Lewis, Stephen Melville
The Ongreening Pavilion. AAG (2014)
John Harding, Carol L. Walker, Elbert A. Walker
Categories with fuzzy sets and relations. Fuzzy Sets Syst. 256 (2014)
John Harding, Carol L. Walker, Elbert A. Walker
Partial orders on the truth value algebra of finite type-2 fuzzy sets. IFSA/NAFIPS (2013)
John Harding
Daggers, Kernels, Baer *-semigroups, and Orthomodularity. J. Philos. Log. 42 (3) (2013)
John Harding
Decidability of the Equational Theory of the Continuous Geometry $CG(\Bbb {F})$. J. Philos. Log. 42 (3) (2013)
John Harding, Bart Kastermans, Keith A. Kearnes, J. Donald Monk, Ágnes Szendrei
The 3rd International Conference on Boolean Algebra, Lattice Theory, Universal Algebra, Set Theory and Set-theoretical Topology - BLAST 2010. Order 29 (2) (2012)
Guram Bezhanishvili, John Harding
Modal Logics of Stone Spaces. Order 29 (2) (2012)
John Harding, Sam Joyce, Paul Shepherd, Chris Williams
Thinking Topologically at Early Stage Parametric Design. AAG (2012)
John Harding, Mirko Navara
Subalgebras of Orthomodular Lattices. Order 28 (3) (2011)
John Harding, Carol L. Walker, Elbert A. Walker
Convex normal functions revisited. Fuzzy Sets Syst. 161 (9) (2010)
John Harding, Carol L. Walker, Elbert A. Walker
The variety generated by the truth value algebra of type-2 fuzzy sets. Fuzzy Sets Syst. 161 (5) (2010)
John Harding, Christian Derix
Associative Spatial Networks in Architectural Design: Artificial Cognition of Space Using Neural Networks with Spectral Graph Theory. DCC (2010)
Guram Bezhanishvili, John Harding
The modal logic of beta(N). Arch. Math. Log. 48 (3-4) (2009)
John Harding, Carol L. Walker, Elbert A. Walker
Lattices of convex normal functions. Fuzzy Sets Syst. 159 (9) (2008)
John Harding
-Complete Uniquely Complemented Lattices. Order 25 (2) (2008)
John Harding, Carol L. Walker, Elbert A. Walker
On Complete Sublattices of the Algebra of Truth Values of Type-2 Fuzzy Sets. FUZZ-IEEE (2007)
John Harding, Michael S. Roddy
: Günter Bruns. Order 20 (4) (2003)
Gunter Bruns, John Harding
Epimorphisms in Certain Varieties of Algebras. Order 17 (2) (2000)
John Harding, Mirko Navara
Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups. Order 17 (3) (2000)
Mouna Nakkar, David G. Bentlage, John Harding, David Schwartz, Paul D. Franzon, Thomas M. Conte
Dynamically Programmable Cache Evaluation and Virtualization. FPGA (1999)
John Harding, Massimo Marinacci, Nhu T. Nguyen, Tonghui Wang
Local Radon-Nikodym Derivatives of Set Functions. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 5 (3) (1997)