Results for 'de Swart, H. C. M.'

1000+ found
Order:
  1.  3
    Inleiding tot de symbolische logica.H. C. M. de Swart - 1976 - Assen: Van Gorcum. Edited by H. G. Hubbeling.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  30
    A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS.H. C. M. de Swart - 1983 - Journal of Symbolic Logic 48 (1):1-20.
  3.  27
    Spreads or choice sequences?H. C. M. De Swart - 1992 - History and Philosophy of Logic 13 (2):203-213.
    Intuitionistically. a set has to be given by a finite construction or by a construction-project generating the elements of the set in the course of time. Quantification is only meaningful if the range of each quantifier is a well-circumscribed set. Thinking upon the meaning of quantification, one is led to insights?in particular, the so-called continuity principles?which are surprising from a classical point of view. We believe that such considerations lie at the basis of Brouwer?s reconstruction of mathematics. The predicate ?α (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  54
    An intuitionistically plausible interpretation of intuitionistic logic.H. C. M. de Swart - 1977 - Journal of Symbolic Logic 42 (4):564-578.
  5. Gentzen-type systems for C, K and several extensions of C and K; constructive completeness proofs and effective decision procedure for these systems.H. C. M. de Swart - 1980 - Logique Et Analyse 90 (91):263-284.
     
    Export citation  
     
    Bookmark   2 citations  
  6. Gentzen-type systems for C,. K and several extensions of C and K.H. C. M. De Swart - 1980 - Logique Et Analyse 23 (90):263.
     
    Export citation  
     
    Bookmark   1 citation  
  7. Constructive completeness proofs and effective decision procedures for these systems.H. C. M. De Swart - 1980 - Logique Et Analyse 23 (90):263.
     
    Export citation  
     
    Bookmark  
  8.  7
    Logic: Mathematics, Language, Computer Science, and Philosophy.H. C. M. De Swart - 1993 - Peter Lang.
    Depending on what one means by the main connective of logic, the -if..., then... -, several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  18
    Validity and quantification in intuitionism.H. C. M. de Swart & C. J. Posy - 1981 - Journal of Philosophical Logic 10 (1):117-126.
    We distinguish three different readings of the intuitionistic notions of validity, soundness, and completeness with respect to the quantification occurring in the notion of validity, and we establish certain relations between the different readings. For each of the meta-logical notions considered we suggest that the “most natural” reading (which is not the same for all cases) is precisely the one which is required by the recent intuitionistic completeness theorems for IPC.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. A critical discussion of the characteristic properties of list PR and FPTP systems.E. Hout, J. Stecher & H. C. M. de Swart - 2007 - Analyse & Kritik 2:259-268.
  11. M. FITTING "Proof methods for modal and intuitionistic logics". [REVIEW]H. C. M. de Swart - 1985 - History and Philosophy of Logic 6 (1):152.
  12. Perspectives on negation: essays in honour of Johan J. de Iongh on his 80th birthday.H. C. M. de Swart, L. J. M. Bergman & Johan J. de Iongh (eds.) - 1995 - Tilburg: Tilburg University Press.
  13.  16
    A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS.H. C. M. De Swart - 1983 - Journal of Symbolic Logic 48 (1):1 - 20.
  14.  20
    An Intuitionistically Plausible Interpretation of Intuitionistic Logic.H. C. M. De Swart - 1977 - Journal of Symbolic Logic 42 (4):564 - 578.
  15. Perspectives on negation: essays in honour of Johan J. de Iongh on his 80th birthday.Johan J. de Iongh, H. C. M. de Swart & L. J. M. Bergman (eds.) - 1995 - Tilburg: Tilburg University Press.
     
    Export citation  
     
    Bookmark  
  16.  39
    A Modern Perspective on Type Theory From its Origins until Today. [REVIEW]H. C. M. De Swart - 2006 - Journal of Logic, Language and Information 15 (3):297-302.
  17.  44
    Validity and quantification in intuitionism.H. C. M. Swart & C. J. Posy - 1981 - Journal of Philosophical Logic 10 (1):117 - 126.
    We distinguish three different readings of the intuitionistic notions of validity, soundness, and completeness with respect to the quantification occurring in the notion of validity, and we establish certain relations between the different readings. For each of the meta-logicalnotions considered we suggest that the "most natural" reading (which is not the same for all cases) is precisely the one which is required by the recent intuitionistic completeness theorems for IPC.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Quantified modal logic, reference and essentialism.M. Perrick & H. de Swart - 1993 - Logique Et Analyse 143 (143-144):219-231.
     
    Export citation  
     
    Bookmark  
  19.  17
    Conceptualization and Operationalization of the Concept of Moral Craftsmanship.Anne I. Schaap, H. C. W. de Vet, Margreet M. Stolper & A. C. Molewijk - 2024 - Business and Professional Ethics Journal 43 (1):27-54.
    Prison work creates ethical challenges for which a training program was initiated for Dutch prison staff to foster their Moral Craftsmanship (MCS). The concept of MCS is not yet defined and operationalized in literature. This explorative study aims to 1) define MCS, 2) identify conceptual elements of MCS, and 3) develop a measurement tool for MCS. A document and literature study provided input for the definition and selection of conceptual elements related within DCIA policy documents, identifying three conceptual levels of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  11
    De Magistro.C. M. O'H. - 1929 - Modern Schoolman 5 (4):13-13.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  12
    Contribution of moral case deliberations to the Moral Craftmanship of prison staff: A quantitative analysis.Marie Huysentruyt, A. I. Schaap, M. M. Stolper, M. Snijdewind, H. C. W. de Vet & A. C. Molewijk - 2023 - International Journal of Ethics Education 8 (2):389-405.
    This study explores the impact of participation in a series of moral case deliberations (MCD) on the moral craftsmanship (MCS) of Dutch prison staff. Between 2017–2020, ten MCDs per team were implemented in three prisons (i.e., intervention group). In three other prisons (i.e., control group) no MCDs were implemented. We compared the intervention and control group using a self-developed questionnaire, administered before (pre-measurement) and after the series of MCDs (post-measurement). Results After the MCDs, participants scored significantly higher on 7 of (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  19
    Field-Testing the Euro-MCD Instrument: Important Outcomes According to Participants Before and After Moral Case Deliberation.J. C. de Snoo-Trimp, A. C. Molewijk, M. Svantesson, G. A. M. Widdershoven & H. C. W. de Vet - 2020 - HEC Forum 34 (1):1-24.
    Ethics support services like Moral Case Deliberation intend to support healthcare professionals in ethically difficult situations. To assess outcomes of MCD, the Euro-MCD Instrument has been developed. Field studies to test this instrument are needed and have been conducted, examining important outcomes before MCD participation and experienced outcomes. The current study aimed to describe how participants’ perceive the importance of MCD outcomes after MCD; compare these perceptions with those before MCD participation; and test the factor structure of these outcomes. Swedish, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  8
    The Acute Effects of Standing on Executive Functioning in Vocational Education and Training Students: The Phit2Learn Study.Petra J. Luteijn, Inge S. M. van der Wurff, Amika S. Singh, Hans H. C. M. Savelberg & Renate H. M. de Groot - 2022 - Frontiers in Psychology 13.
    Research suggests that sedentary behavior is negatively associated with cognitive outcomes. Interrupting prolonged sitting has been shown to improve cognitive functions, including executive functioning, which is important for academic performance. No research has been conducted on the effect of standing on EF in VET students, who make up a large proportion of the adolescent population and who are known to sit more than other students of this age. In this study, we investigated the acute effects of reducing SB by short (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  43
    Under what conditions do patients want to be informed about their risk of a complication? A vignette study.N. B. A. T. Janssen, F. J. Oort, P. Fockens, D. L. Willems, H. C. J. M. de Haes & E. M. A. Smets - 2009 - Journal of Medical Ethics 35 (5):276-282.
    Background: Discussing treatment risks has become increasingly important in medical communication. Still, despite regulations, physicians must decide how much and what kind of information to present. Objective: To investigate patients’ preference for information about a small risk of a complication of colonoscopy, and whether medical and personal factors contribute to such preference. To propose a disclosure policy related to our results. Design: Vignettes study. Setting: Department of Gastroenterology, Academic Medical Centre, the Netherlands. Patients: 810 consecutive colonoscopy patients. Intervention: A home-sent (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  17
    Boekbesprekingen.P. C. Beentjes, Bart J. Koet, Th Bell, J. Muis, Susanne Hennecke, Willem B. Drees, Ton Meijers, Gerard Rouwhorst & H. G. M. de Groot - 2003 - Bijdragen 64 (3):348-362.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  69
    How and Why Do Students Use Learning Strategies? A Mixed Methods Study on Learning Strategies and Desirable Difficulties With Effective Strategy Users.Sanne F. E. Rovers, Renée E. Stalmeijer, Jeroen J. G. van Merriënboer, Hans H. C. M. Savelberg & Anique B. H. de Bruin - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  31
    Moral competence, moral teamwork and moral action - the European Moral Case Deliberation Outcomes (Euro-MCD) Instrument 2.0 and its revision process. [REVIEW]J. C. de Snoo-Trimp, H. C. W. de Vet, G. A. M. Widdershoven, A. C. Molewijk & M. Svantesson - 2020 - BMC Medical Ethics 21 (1):1-18.
    BackgroundClinical Ethics Support (CES) services are offered to support healthcare professionals in dealing with ethically difficult situations. Evaluation of CES is important to understand if it is indeed a supportive service in order to inform and improve future implementation of CES. Yet, methods to measure outcomes of CES are scarce. In 2014, the European Moral Case Deliberation Outcomes Instrument (Euro-MCD) was developed to measure outcomes of Moral Case Deliberation (MCD). To further validate the instrument, we tested it in field studies (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  28.  7
    Cation self-diffusion in fast neutron-irradiated beryllium oxide.H. J. De Bruin, G. M. Watson, C. M. Blood & D. Roman - 1967 - Philosophical Magazine 16 (140):427-430.
  29.  17
    The Impact of Incidental Findings Detected During Brain Imaging on Research Participants of the Rotterdam Study: An Interview Study.Charlotte H. C. Bomhof, Lisa van Bodegom, Meike W. Vernooij, Wim Pinxten, Inez D. de Beaufort & Eline M. Bunnik - 2020 - Cambridge Quarterly of Healthcare Ethics 29 (4):542-556.
    This interview study investigates the short- and long-term implications of incidental findings detected through brain imaging on research participants’ lives and their surroundings. For this study, nine participants of the Rotterdam Scan Study with an incidental finding were approached and interviewed. When examining research participants’ narratives on the impact of the disclosure of incidental findings, the authors identified five sets of tensions with regard to motivations for and expectations of research participation, preferences regarding disclosure, short- and long-term impacts and impacts (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  17
    Bibliographie de l'histoire de Belgique — Bibliografie van de geschiedenis van België. 1954.J. Kruithof, H. Joosen, M. Dumont, C. Joset & R. De Roo - 1955 - Revue Belge de Philologie Et D’Histoire 33 (4):997-1035.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  35
    Boekbesprekingen.H. W. M. van Grol, Bart J. Koet, Theo de Kruijf, Martin Parmentier, Martien Parmentier, Gerard Rouwhorst, H. Rikhof, Paul van Geest, A. H. C. van Eijk, Ton Meijers, Veerle Fraeters, Walter Van Herck, Carlo Leget, Paul Favraux & Annemie Dillen - 2003 - Bijdragen 64 (1):97-122.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  32.  35
    Boekbesprekingen.Th C. de Kruijf, P. Fransen, H. van Leeuwen, F. J. Theunis, Jos Vercruysse, R. G. W. Huysmans, A. Baekelandt, Frans Vandenbussche, H. P. M. Goddijn & J. G. Platvoet - 1974 - Bijdragen 35 (3-4):426-446.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  20
    Boekbesprekingen.Th C. De Kruijf, Tamis Wever, H. W. M. Van Grol, W. Beuken, J.-M. Tison, P. Fransen, J. Ghoos, E. De Strycker & H. P. M. Goddijn - 1976 - Bijdragen 37 (3):325-346.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  14
    Indonesian Manuscripts in Great Britain: A Catalogue of Manuscripts in Indonesian Lanuages in British Public Collections.David H. de Queljoe, M. C. Ricklefs & P. Voorhoeve - 1979 - Journal of the American Oriental Society 99 (3):509.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  77
    Caregiver decision-making concerning involuntary treatment in dementia care at home.Vincent R. A. Moermans, Angela M. H. J. Mengelers, Michel H. C. Bleijlevens, Hilde Verbeek, Bernadette Dierckx de Casterle, Koen Milisen, Elizabeth Capezuti & Jan P. H. Hamers - 2022 - Nursing Ethics 29 (2):330-343.
    Background: Dementia care at home often involves decisions in which the caregiver must weigh safety concerns with respect for autonomy. These dilemmas can lead to situations where caregivers provide care against the will of persons living with dementia, referred to as involuntary treatment. To prevent this, insight is needed into how family caregivers of persons living with dementia deal with care situations that can lead to involuntary treatment. Objective: To identify and describe family caregivers’ experiences regarding care decisions for situations (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  36
    Managing Coastal Resource in the 21st Century.M. P. Weinstein, R. C. Baird, D. O. Conover, M. Gross, F. W. J. Keulartz, D. K. Loomis, Z. Naveh, S. B. Peterson, D. J. Reed, E. Roe, R. L. Swanson, J. A. A. Swart, J. M. Teal, H. J. Turner & H. J. Windt - unknown
    Coastal ecosystems are increasingly dominated by humans. Consequently, the human dimensions of sustainability science have become an integral part of emerging coastal governance and management practices. But if we are to avoid the harsh lessons of land management, coastal decision makers must recognize that humans are one of the more coastally dependent species in the biosphere. Management responses must therefore confront both the temporal urgency and the very real compromises and sacrifices that will be necessary to achieve a sustainable coastal (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  7
    X. Zum Sprachgebrauch des Pausanias.I. H. C. Schubart & M. Haupt - 1847 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 2 (2):273-279.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  33
    Boekbesprekingen.P. Smulders, S. De Smet, Marc Schneiders, Peter Raedts, P. Verdeijen, Jos E. Vercruysse, A. H. C. van Eijk, Jan Kerkhofs, H. J. Adriaanse, Hans Goddijn, H. Bleijendaal, M. Poorthuis, Eduard Kimman, A. van den Pavert, F. J. Theunis, Ulrich Hemel, J. Hahn & Johan G. Hahn - 1987 - Bijdragen 48 (4):465-482.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  23
    Boekbesprekingen.J. Lambrecht, P. Fransen, R. G. W. Huysmans, S. De Smet, P. Penning de Vries, W. G. Tillmans, A. J. Leijen, Harry Hofstee, Th C. de Kruijf, Maurits De Wachter, A. A. Derksen, H. P. M. Goddijn, C. Donders & W. Beuken - 1974 - Bijdragen 35 (2):213-228.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  43
    Boekbesprekingen.Sean McEvenue, Theo de Kruijf, C. C. M. de Lange, Bart J. Koet, Marcel Poorthuis, Hanneke Reuling, Martin Parmentier, Jörgen Vijgen, Th Bell, Marcel Sarot, Kees van Vliet, A. H. C. van Eijk, Eric Ottenheijm, Jean-Jacques Suurmond & Arie L. Molendijk - 2000 - Bijdragen 61 (3):336-357.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  41.  34
    Boekbesprekingen.J.-M. Tison, Th C. De Kruljf, R. Mennes, P. Fransen, Bernard Van Dorpe, B. Van Dorpe, Jos Vercruysse, F. Tillmans, C. Verhaak, A. Poncelet, A. J. Leijen, G. Swüste, J. H. Nota, R. Hostie, P. Van Doornik & P. Grootens - 1969 - Bijdragen 30 (2):204-226.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  51
    Boekbesprekingen.J. -M. Tison, P. C. Beentjes, Tamis Wever, W. Beuken, Jan C. M. Engelen, P. Fransen, P. Ahsmann, G. Bouwman, J. Wissink, W. G. Tillmans, H. Rikhof, F. J. Verstraelen, C. G. M. 'T. Mannetje, M. De Wachter, R. G. W. Huysmans, A. H. Eysink, H. Wegman, H. P. M. Goddijn, Theo Bell, J. Y. H. Jacobs, J. Plantinga, Jan W. Besemer, M. V. D. Berk, H. W. M. van Grol, H. V. Grol, M. Heijndrikx, Ben Vedder, Henk van Luijk & H. Stroeken - 1979 - Bijdragen 40 (1):76-112.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  31
    Boekbesprekingen.J. -M. Tison, P. Fransen, Th C. de Kruijf, Jan C. M. Engelen, H. W. M. van Grol, W. G. Tillmans, C. G. M. 'T. Mannetje, R. G. W. Huysmans, C. Augustijn, J. Y. H. Jacobs, Jos Vercruysse, Jos Plantinga, C. A. van Peursen, Frans Vandenbussche, Ger Groot, H. P. M. Goddijn & Frans Vosman - 1977 - Bijdragen 38 (2):204-229.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  35
    De Novis Libris Iudicia.A. Hoekstra, W. J. Verdenius, J. C. Kamerbeek, G. J. De Vries, A. H. R. E. Paap, B. A. Van Groningen, J. Mehler, C. J. Ruijgh, W. Van Der Wielen, J. H. Thiel, G. Van Hoorn, L. G. Westerink, J. W. Fuchs, H. H. Janssen, M. F. A. Brok, A. Sizoo & J. Gonda - 1958 - Mnemosyne 11 (4):345-381.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  27
    De Novis Libris Iudicia.C. J. Ruijgh, G. Schreiner, C. M. J. Sicking, H. Vos, W. J. Verdenius, D. Van Nes, J. C. Kamerbeek, J. T. H. M. F. Pieters, A. H. R. E. Paap, H. Bolkenstein, G. J. M. Bartelink, R. E. H. Westendorp Boerma, G. J. De Vries, H. T. Wallinga, A. D. Leeman, H. H. Janssen, H. W. Pleket, J. A. G. Van Der Veer, J. H. Thiel, A. B. Breebaart, E. J. Jonkers, R. Feenstra & E. Hulshoff Pol - 1964 - Mnemosyne 17 (2):165-220.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  51
    Corrigendum: The Impact of the Parental Support on Risk Factors in the Process of Gender Affirmation of Transgender and Gender Diverse People.Bruna L. Seibel, Bruno de Brito Silva, Anna M. V. Fontanari, Ramiro F. Catelan, Ana M. Bercht, Juliana L. Stucky, Diogo A. DeSousa, Elder Cerqueira-Santos, Henrique C. Nardi, Silvia H. Koller & Angelo B. Costa - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  34
    Boekbesprekingen.W. Beuken, L. Dequeker, Martin Parmentier, Th C. de Kruijf, P. C. Beentjes, Karin Lelyveld, Liobaklooster Egmond, H. van Cranenburgh, Marc Schneiders, P. Smulders, B. W. J. M. Banning, Peter Nissen, R. Boudens, F. J. Theunis, J. Y. H. Jacobs, Peter Raedts, Eugène Honée, J. -J. Suurmond, A. H. C. van Eijk, R. G. W. Huysmans, Marc Rotsaert, Cor Traets & G. Rouwhorst - 1987 - Bijdragen 48 (2):206-227.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  24
    Boekbesprekingen.W. Beuken, Tamis Wever, P. C. Beentjes, W. G. Tillmans, Bart J. Koet, M. Parmentier, Silveer De Smet, Wilbert Sentenie, Th Bell, H. P. M. Goddijn, F. J. Theunis, R. G. W. Huysmans, H. Wegman, J. Besemer, Ulrich Hemel, G. van Steendam, A. van de Pavert, Ben Vedder & Johan G. Hahn - 1985 - Bijdragen 46 (2):188-228.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  20
    Boekbesprekingen.W. Beuken, Tamis Wever, G. te Stroete, Th C. de Kruijf, F. de Grijs, H. van Leeuwen, P. Fransen, J. Ghoos, A. J. Leijen, S. De Smet, Jos Vercruysse, C. Augustijn, A. A. Derksen, H. P. M. Goddijn, E. Oger & H. Hoekstra - 1973 - Bijdragen 34 (3):319-347.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  52
    Boekbesprekingen.W. Beuken, Tamis Wever, Th C. de Kruijf, P. Smulders, W. G. Tillmans, Jos Vercruysse, P. Fransen, F. Kurris, Jos E. Vercruysse, R. G. W. Huysmans, S. de Smet, H. P. M. Goddijn, J. Y. H. Jacobs, W. Thys, A. Poncelet, Ger Groot, Henk van Luijk, A. A. Derksen & H. Rikhof - 1976 - Bijdragen 37 (4):428-461.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000