Results 61 to 70 of about 21,415 (228)
Encoding many-valued logic in {\lambda}-calculus
, 2020 We extend the well-known Church encoding of two-valued Boolean Logic in $\lambda$-calculus to encodings of $n$-valued propositional logic (for $3\leq n\leq 5$) in well-chosen infinitary extensions in $\lambda$-calculus.
de Vries, Fer-Jan
core +1 more source
The Insistence of Blackness and the Persistence of Antiblackness in Ireland
Australian Journal of Social Issues, EarlyView.ABSTRACT This paper positions Ireland as a critical site for examining the insistence of blackness and an antiblackness created and sustained through Irish ethnonationalist imaginaries and exclusionary processes. Drawing on connected sociologies and Irish Black Studies, this enquiry argues that antiblackness in Ireland operates as a generational force,
Philomena Mullen
wiley +1 more source
Australian Journal of Social Issues, EarlyView.ABSTRACT This paper applies Critical Race Theory (CRT) to explore how whiteness operates within Australia's anti‐racism movement as a structuring force that shapes discourse, practice and policy. Despite the anti‐racism movement offering crucial spaces for resistance and reform, it remains entangled in Australia's settler‐colonial present and systemic ...
Franka Vaughan, Aish Ravi
wiley +1 more source
, 2008 It is argued that the meaning of the modal connectives must be given inferentially, by the rules for the assertion of formulae containing them, and not semantically by reference to possible worlds.
Stephen, Read
core
Australian Journal of Social Issues, EarlyView.ABSTRACT This study employs an intersectionality‐informed latent class analysis (LCA) to examine the hidden diversity of discouraged workers in Australia. Drawing on nationally representative data from the Household, Income and Labour Dynamics in Australia Survey, we identified six empirically distinct subgroups defined by intersecting demographic and ...
Sora Lee, Woojin Kang
wiley +1 more source
Australian Journal of Social Issues, EarlyView.ABSTRACT Children experiencing parental imprisonment are known to be among the most overlooked in our community. They often experience multiple and compounding disadvantages, with long‐term consequences, but receive no specialised assistance. Knowledge about these children and their families is lacking in Australia and is required to inform policy ...
Catherine Flynn +6 more
wiley +1 more source
Theories of truth based on four-valued infectious logics [PDF]
, 2020 Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth.
Da Re, Bruno +2 more
core
Nothing to See Here: Researching Non‐Recent Child Abuse in Schools and the Politics of Silence
Australian Journal of Social Issues, EarlyView.ABSTRACT While institutions, including schools, have responsibilities to protect children from harm, responses to instances of child sexual abuse have often exhibited avoidance and denial. Recent public inquiries in Australia revealed that some institutions, particularly in the Catholic sector, employed a deliberate strategy of silence which was used ...
John Crowley +2 more
wiley +1 more source
Australia's Migration Strategy: An Effective Response to Migrant Worker Exploitation?
Australian Journal of Social Issues, EarlyView.ABSTRACT A series of publicised migrant worker injuries and deaths has drawn attention to the issue of migrant worker exploitation (MWE) in Australia. In response, the Australian Government has included ‘Tackling Worker Exploitation’ as a key area of its Migration Strategy which it introduced in 2023. However, it is unclear how effective the Strategy’s
Evelyn Dowling, Alexandra Ridgway
wiley +1 more source
Early evolution of the gular musculature and its innervation in ray‐finned fishes
The Anatomical Record, EarlyView.Abstract Gular muscles are an important but often overlooked component of cranial anatomy in bony fishes. They are located on the ventral surface of the head and are derived from the mandibular and hyoid arches. We present a comprehensive review of the gular musculature and its innervation across early diverging actinopterygian lineages. By integrating
Aléssio Datovo +4 more
wiley +1 more source