Results 81 to 90 of about 3,981 (217)
Traditional deductive systems work with sentences of symbols. Even in newer systems that also reason from diagrams sentential representations still play a major role.
George Furnas, Etchemendy
core
‘Turkeys Cannot Vote for Christmas’: Why Epistemic Disobedience in an Anti‐Black World Matters
Australian Journal of Social Issues, EarlyView.ABSTRACT Never in the history of global coloniality has the idea of epistemic disobedience been as important as in the 21st century. This is not only because the struggle for decolonisation has shifted from physical confrontation between the coloniser and the colonised into a battle of ideas but also because the former has deployed the idea of ...
Morgan Ndlovu
wiley +1 more source
The Legislation for Providing Animal Access in Australian Residential Aged Care: It's Not a Zoo
Australian Journal of Social Issues, EarlyView.ABSTRACT Providing meaningful animal contact to residential aged care facility (RACF) residents is problematic due to a lack of animal policies and National Guidelines. This paper examines how Australian Legislation could influence access to animal contact in RACFs and aims to answer the question, ‘Could current Legislation facilitate the development ...
Wendy Newton +2 more
wiley +1 more source
Lung maneuvers of large amplitudes for probing physiological alterations in mouse models of asthma
Animal Models and Experimental Medicine, EarlyView.Lung maneuvers of small amplitudes, such as the ones performed in oscillometry, are the current gold standard to probe lung mechanics in animals, but they are insensitive to detect baseline physiological alterations in mouse models of asthma. Herein, lung maneuvers of different amplitudes were compared in two mouse models of asthma.
Magali Boucher +4 more
wiley +1 more source
Logic program specialisation through partial deduction: Control Issues
, 2002 Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to ...
Bruynooghe, Maurice, Leuschel, Michael
core +1 more source
Flexible Verification Conditions with Continuations and Barriers
, 2023 Continuation-passing style allows us to devise an extremely economical abstract syntax for a generic algorithmic language. This syntax is flexible enough to naturally express conditionals, loops, (higher-order) function calls, and exception handling.
Paskevich, Andrei
core
A Formal Deductive Proof of Equivalence of Evaluative Modalities of Moral Goodness, Utility and Pleasure within an Axiomatic System of Epistemology from the Assumption of A-priori-ness of Knowledge [PDF]
Vestnik Tomskogo gosudarstvennogo universiteta. Filosofiya, sotsiologiya, politologiya, 2017 openaire +1 more source
, 2013 The departure point of this study is the fact that the well known Gödel's theorems apply specifically to "hypothetico-deductive systems" - which I will rather call "deductive theories".
Bessière, Francis
core
Controlling the Guanidinium Cation Rotation by Cation–π Interactions
Angewandte Chemie International Edition, EarlyView.A lanthanide π‐container has been employed to trap a guanidinium cation inside the aromatic cavity by cation–π interactions. X‐ray crystallography and solid‐state nuclear magnetic resonance (NMR) spectroscopy at fast magic‐angle spinning (MAS) frequencies have been utilized to probe the underlying host–guest interactions.
Hannah Busch +12 more
wiley +1 more source
Inhaltslogik et Theorematic Reasoning
, 1994 International audienceAround 1891, Husserl opposes, in several articles (cf., Husserl, 1891a and Husserl, 1891b), the logic of extension, developed by Peirce, Schröder and others, and the logic of intension.
Heinzmann, Gerhard
core