Results 71 to 80 of about 793 (154)
A new coalgebraic semantics for positive modal logic [PDF]
, 2002 Positive Modal Logic is the restriction of the modal local consequence relation defined by the class of all Kripke models to the propositional negation-free modal language.
Palmigiano, A.
core
A topological characterization of complete distributive lattices
, 1984 An ordered compact space is a compact topological space X, endowed with a partially ordered relation, whose graph is a closed set of X × X (cf. [4]).
Beznea, Lucian
core +1 more source
A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0
, 2014 In this work, we investigate a categorical equivalence between the class of bounded distributive quasi lattices that satisfy the quasiequation x∨0=0 =⇒ x = 0, and a category whose objects are sheaves over Priestley ...
FREYTES, HECTOR CARLOS, LEDDA, ANTONIO
core +1 more source
A coalgebraic view on positive modal logic
, 2004 Positive modal logic is the restriction of the modal local consequence relation defined by the class of all Kripke models to the propositional negation-free modal language.
Palmigiano, Alessandra
core +1 more source
, 2009 When Priestley College began to plan the redevelopment of its learning resource centre, it continued the culture of student involvement that exists within the College by asking students to help plan and create the new development.
core
Priestley duality and representations of recurrent dynamics
For an arbitrary dynamical system there is a strong relationship between global dynamics and the order structure of an appropriately constructed Priestley space. This connection provides an order-theoretic framework for studying global dynamics.
Vandervorst, Robert, Kalies, William
core
The Trans City : Spaces and Places for Trans People in the Finnish City
, 2016 This Master’s thesis explores the ways in which individuals interact with the world around them, and how this interaction intersects with the construction and performance of identity.
Priestley, Danielle
core
Chu spaces: Complementarity and Uncertainty in Rational Mechanics
, 1994 this paper will be realizations. The category of Boolean operations and their property-preserving renamings is not self-dual since non-T 0 Chu spaces transpose to nonextensional ones.
Vaughan Pratt
core
Experimental Models of Acute Lung Injury to Study Inflammation and Pathophysiology: A Narrative Review. [PDF]
Antioxidants (Basel)Nagato AC +4 more
europepmc +1 more source
Turning Constraints into Adaptive Behavior: Secondary Pre-Service Teachers' Bricolage and Agency in Physical Education. [PDF]
Behav Sci (Basel)Park H.
europepmc +1 more source