Results 21 to 30 of about 2,634,047 (302)
Journal of Philosophical Logic, 2023 AbstractIn this paper we use proof-theoretic methods, specifically sequent calculi, admissibility of cut within them and the resultant subformula property, to examine a range of philosophically-motivated deontic logics. We show that for all of those logics it is a (meta)theorem that the Special Hume Thesis holds, namely that no purely normative ...
Norbert Gratzl, Edi Pavlovic
openaire +1 more source
British Journal of General Practice, 2010 There are not many people who would admit that, in their field, there should be cuts. I don't think I am brave or clever enough to be the odd one out. So here it is: I am against cuts in health care (the term ‘health care’, in my view, does not include management and administration — in these areas I would cut generously). Why? Because money is already
openaire +1 more source
Cut-off score and categorization of variables.
, 2023 Cut-off score and categorization of variables.
Nisha Shrestha (4689817) +10 more
core +1 more source
BLASTING TECHNOLOGIES FOR THE EXCAVATION OF THE EVACUATION TUNNEL VRANDUK II ON THE MAIN ROAD M-17 [PDF]
e-Zbornik. Elektronički Zbornik Radova Građevinskog Fakulteta, 2021 The Vranduk II tunnel is located on the main road route of the City of Zenica, on the main road M-17, section Topčić Polje - Lašva 0 with a total length of 1,062 m. A service tube at an axial distance of 25 meters and cross passages from the service tube
Ekrem Bektašević +5 more
doaj +1 more source
Deformability and Stability of Rectangular Sandwich Panels with Cuts under In-Plane Loading
Architecture and Engineering, 2016 In this work the method of defining the critical load for rectangular sandwich panels having within themselves definite length cuts in a direction parallel with one of their sides is described.
Gela Kipiani
doaj +1 more source
Cut loci and conjugate loci on Liouville surfaces [PDF]
, 2011 In the earlier paper (Itoh and Kiyohara, Manuscr Math 114:247–264, 2004), we showed that the cut locus of a general point on two-dimensional ellipsoid is a segment of a curvature line and proved "Jacobi’s last geometric statement" on the singularities of
Jin-ichi Itoh +3 more
core +1 more source
Partial cut elimination for combinations of propositional multi-modal logics with past time
Lietuvos Matematikos Rinkinys, 2011 We consider combinations of nine propositional multi-modal logics with propositional discrete linear time temporal logic with past time. For these combinations, we present sound and complete Gentzen-type sequent calculi with a restricted cut rule.
Jūratė Sakalauskaitė
doaj +1 more source
Semantics for Prolog with Cut – Revisited [PDF]
, 2014 This paper revisits the semantics for Prolog with cut from the perspective of formulating a semantic base that is amenable to abstract interpretation. It argues that such a semantics should separate the question of divergence from questions pertaining to
Jael Kriener +3 more
core +1 more source
Journal of Student Affairs in AfricaIntroduction and aim: International research have identified numerous impacts of the COVID-19 circumstances on students, such as decreased activity, food insecurity and poor mental health.
Juanita Jonker, Ryk Lues
doaj +1 more source
Cut-elimination, substitution and normalisation [PDF]
, 2014 Date of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term ...
Roy Dyckhoff, Dyckhoff, Roy
core +1 more source