Results 91 to 100 of about 109,843 (305)
Mapping Disjuncture: Internationalism and Palestine
Area, EarlyView.Short Abstract This paper reflects on a ‘Map Conversation’ session at the 2024 RGS‐IBG Annual Conference, that explored maps of the League of Nations and Palestine. The authors contrast maps promoting global consciousness in the 1920s with those charting colonial encroachment in Palestine.
Zena Agha, Jake Hodder
wiley +1 more source
Model checking for symbolic-heap separation logic with inductive predicates [PDF]
, 2016 J G. Brotherston +3 more
openalex +1 more source
Critical Quarterly, EarlyView.Abstract ‘I have to share a bathroom’, I had so often murmured, almost with shame, as if I personally had been found unworthy of a bathroom of my own. Barbara Pym, Excellent Women (1952) For a single woman of a certain age, living alone in postwar London, austerity was more than a set of political and economic imperatives.
Charlotte Charteris
wiley +1 more source
The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to Gödel, Kripke, and Läuchli. II. [PDF]
, 1993 M. Makkai
openalex +1 more source
On Generalized Records and Spatial Conjunction in Role Logic
, 2004 We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases.
Kuncak, Viktor, Rinard, Martin
core +4 more sources
Development and Change, EarlyView.ABSTRACT Sierra Leone's land governance reform policies are often based on the neoliberal assumption that market growth, gender equality and women's empowerment are mutually compatible objectives. Contrary to this assumption, this article argues that while market‐oriented reforms can help to destabilize legal and cultural norms that are discriminatory ...
Mohamed Sesay, Simeon Koroma
wiley +1 more source
European Journal of Philosophy, EarlyView.Abstract Most recent commentators on Kant's Transcendental Deduction assume that the main purpose of the second part of the B‐Deduction (“BD2”) is to show that human intuitions must fall under categories for reasons connected with their spatio‐temporal form.
Michael Pendlebury
wiley +1 more source
Some metalogical properties for infinitary predicate topological logic [PDF]
, 2013 Tarek Sayed Ahmed
openalex +1 more source
SEMIPRODUCTS, PRODUCTS, AND MODAL PREDICATE LOGICS: SOME EXAMPLES
, 2023 Valentin Shehtman, Dmitry Shkatov
openalex +2 more sources
A Unification Free Introduction to Logic Programming
, 1993 In this paper, we give a new presentation of the fundamental results of the theory of Logic Programming, which differs from classical introductions in at least two ways: the use of predicate algebras to deal with model theoretical aspects and the ...
Di Meglio, R., Sassone, V.
core