Results for 'Derick de Jongh'

1000+ found
Order:
  1.  2
    Hospitality as a pivotal value in leadership: A transdisciplinary engagement with the case of Chief Albert Luthuli.Yolande Steenkamp & Derick de Jongh - 2021 - HTS Theological Studies 77 (4):1-10.
    This article presents hospitality as a pivotal value in the context of increasing diversity that characterises the complex relations in which leadership emerges. After reviewing the concept of Otherness in philosophy, the notion of hospitality as developed by Richard Kearney in relation to his philosophy of religion is introduced. The case of Nobel Peace Prize Laureate Chief Albert Luthuli is then presented as a biographical leadership study from the African context to illustrate how hospitality as open response to radical Otherness (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  10
    Foreword to Special Issue on ‘Responsible Leadership’.Nicola M. Pless, Thomas Maak & Derick de Jongh - 2011 - Journal of Business Ethics 98 (S1):1-1.
  3.  41
    Intermediate Logics and the de Jongh property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
    We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  7
    Intermediate Logics and the de Jongh property.Dick Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  14
    De Jongh and Glivenko theorems for equality theories ★.Alexey Romanov - 2007 - Journal of Applied Non-Classical Logics 17 (3):347-357.
    This paper is concerned with the logical structure of intuitionistic equality theories. We prove that De Jongh theorem holds for the theory of decidable equality, but uniform De Jongh theorem fails even for the theory of weakly decidable equality. We also show that the theory of weakly decidable equality is the weakest equality theory which enjoys Glivenko theorem.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  11
    The de Jongh property for Basic Arithmetic.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2014 - Archive for Mathematical Logic 53 (7-8):881-895.
    We prove that Basic Arithmetic, BA, has the de Jongh property, i.e., for any propositional formula A built up of atoms p1,..., pn, BPC⊢\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\vdash}$$\end{document}A if and only if for all arithmetical sentences B1,..., Bn, BA⊢\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\vdash}$$\end{document}A. The technique used in our proof can easily be applied to some known extensions of BA.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7. Binary modal logic and unary modal logic.Dick de Jongh & Fatemeh Shirmohammadzadeh Maleki - forthcoming - Logic Journal of the IGPL.
    Standard unary modal logic and binary modal logic, i.e. modal logic with one binary operator, are shown to be definitional extensions of one another when an additional axiom |$U$| is added to the basic axiomatization of the binary side. This is a strengthening of our previous results. It follows that all unary modal logics extending Classical Modal Logic, in other words all unary modal logics with a neighborhood semantics, can equivalently be seen as binary modal logics. This in particular applies (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  11
    Dick de Jongh and Franco Montagna. Provable fixed points. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 34 , pp. 229–250. [REVIEW]Lev D. Beklemishev - 1993 - Journal of Symbolic Logic 58 (2):715-717.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  26
    A semantical proof of De Jongh's theorem.Jaap van Oosten - 1991 - Archive for Mathematical Logic 31 (2):105-114.
    In 1969, De Jongh proved the “maximality” of a fragment of intuitionistic predicate calculus forHA. Leivant strengthened the theorem in 1975, using proof-theoretical tools (normalisation of infinitary sequent calculi). By a refinement of De Jongh's original method (using Beth models instead of Kripke models and sheafs of partial combinatory algebras), a semantical proof is given of a result that is almost as good as Leivant's. Furthermore, it is shown thatHA can be extended to Higher Order Heyting Arithmetic+all trueΠ (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  10.  15
    Stable Formulas in Intuitionistic Logic.Nick Bezhanishvili & Dick de Jongh - 2018 - Notre Dame Journal of Formal Logic 59 (3):307-324.
    In 1995 Visser, van Benthem, de Jongh, and Renardel de Lavalette introduced NNIL-formulas, showing that these are exactly the formulas preserved under taking submodels of Kripke models. In this article we show that NNIL-formulas are up to frame equivalence the formulas preserved under taking subframes of frames, that NNIL-formulas are subframe formulas, and that subframe logics can be axiomatized by NNIL-formulas. We also define a new syntactic class of ONNILLI-formulas. We show that these are the formulas preserved in monotonic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  81
    The future of psychopharmacological enhancements: Expectations and policies.Maartje Schermer, Ineke Bolt, Reinoud de Jongh & Berend Olivier - 2009 - Neuroethics 2 (2):75-87.
    The hopes and fears expressed in the debate on human enhancement are not always based on a realistic assessment of the expected possibilities. Discussions about extreme scenarios may at times obscure the ethical and policy issues that are relevant today. This paper aims to contribute to an adequate and ethically sound societal response to actual current developments. After a brief outline of the ethical debate concerning neuro-enhancement, it describes the current state of the art in psychopharmacological science and current uses (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  12. Botox for the Brain: Enhancement of Cognition, Mood and pro-Social Behavior and Blunting of Unwanted Memories.Reinoud de Jongh, Ineke Bolt, Maartje Schermer & Berend Olivier - 2008 - Neuroscience and Biobehavioral Reviews 32 (4):760–776.
    No categories
     
    Export citation  
     
    Bookmark   11 citations  
  13. A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property.D. M. Gabbay & D. H. J. De Jongh - 1974 - Journal of Symbolic Logic 39 (1):67-78.
  14.  17
    On the proof of Solovay's theorem.Dick de Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51-69.
    Solovay's 1976 completeness result for modal provability logic employs the recursion theorem in its proof. It is shown that the uses of the recursion theorem can in this proof replaced by the diagonalization lemma for arithmetic and that, in effect, the proof neatly fits the framework of another, enriched, system of modal logic so that any arithmetical system for which this logic is sound is strong enough to carry out the proof, in particular $\text{I}\Delta _{0}+\text{EXP}$ . The method is adapted (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  15. Provability logics for relative interpretability.Frank Veltman & Dick De Jongh - 1990 - In Petio Petrov Petkov (ed.), Mathematical Logic. Proceedings of the Heyting '88 Summer School. New York, NY, USA: pp. 31-42.
    In this paper the system IL for relative interpretability is studied.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  16.  20
    The decidability of dependency in intuitionistic propositional Logi.Dick de Jongh & L. A. Chagrova - 1995 - Journal of Symbolic Logic 60 (2):498-504.
    A definition is given for formulae $A_1,\ldots,A_n$ in some theory $T$ which is formalized in a propositional calculus $S$ to be (in)dependent with respect to $S$. It is shown that, for intuitionistic propositional logic $\mathbf{IPC}$, dependency (with respect to $\mathbf{IPC}$ itself) is decidable. This is an almost immediate consequence of Pitts' uniform interpolation theorem for $\mathbf{IPC}$. A reasonably simple infinite sequence of $\mathbf{IPC}$-formulae $F_n(p, q)$ is given such that $\mathbf{IPC}$-formulae $A$ and $B$ are dependent if and only if at least (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  17. Modal completeness of ILW.Dick De Jongh & Frank Veltman - 1999 - In Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema (eds.), Essays Dedicated to Johan van Benthem on the Occasion of His 50th Birthday. Amsterdam University Press.
    This paper contains a completeness proof for the system ILW, a rather bewildering axiom system belonging to the family of interpretability logics. We have treasured this little proof for a considerable time, keeping it just for ourselves. Johan’s ftieth birthday appears to be the right occasion to get it out of our wine cellar.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  18.  20
    Generic Generalized Rosser Fixed Points.Dick H. J. de Jongh & Franco Montagna - 1987 - Studia Logica 46 (2):193-203.
    To the standard propositional modal system of provability logic constants are added to account for the arithmetical fixed points introduced by Bernardi-Montagna in [5]. With that interpretation in mind, a system LR of modal propositional logic is axiomatized, a modal completeness theorem is established for LR and, after that, a uniform arithmetical completeness theorem with respect to PA is obtained for LR.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  19.  6
    Explicit Fixed Points in Interpretability Logic.Dick de Jongh & Albert Visser - 1991 - Studia Logica 50 (1):39-49.
    The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryński.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  20.  24
    Provable Fixed Points.Dick De Jongh & Franco Montagna - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):229-250.
  21.  15
    Provable Fixed Points.Dick De Jongh & Franco Montagna - 1988 - Mathematical Logic Quarterly 34 (3):229-250.
  22.  11
    Comparing strengths of beliefs explicitly.S. Ghosh & D. de Jongh - 2013 - Logic Journal of the IGPL 21 (3):488-514.
  23.  23
    Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers.J. A. G. Groenendijk, Dick de Jongh & M. J. B. Stokhof (eds.) - 1986 - Foris Publications.
    Semantic Automata Johan van Ben them. INTRODUCTION An attractive, but never very central idea in modern semantics has been to regard linguistic expressions ...
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  24. Intensional logics.Dick De Jongh & Frank Veltman - unknown
    This first chapter contains an introduction to modal logic. In section 1.1 the syntactic side of the matter is discussed, and in section 1.2 the subject is approached from a semantic point of view.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Berchtesgaden (19 november 1940) : voorgeschiedenis, inhoud en resultaat.Albert De Jonghe - 1978 - Res Publica 20 (1):41-54.
    The leopoldistic version of the events before Berchtesgaden - politically the most important period in the Question Royale during the occupation - is from the start till the end historically not grounded. The known facts prove that the King was absolutely not passive in political matters. He doesn't reject the proposal for a meeting with Hitler. Already on May 31 he declares to agree in principle to meet the Führer. On June 26 he again expresses this willingness. In October he (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. Essay on I-valuations (X).Dhj de Jongh - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in Language Translation and Theorem Proving. Brussels, Commission of the European Communities, Directorate-General for Dissemination of Information.
    No categories
     
    Export citation  
     
    Bookmark  
  27. Starting with Whitehead: Raising Children to Thrive in Treacherous Times.Lynn Sargent de Jonghe - 2022 - Hamilton Books.
    Following A.N. Whitehead’s rhythm of education, the author provides a guide for parents and educators on raising children to thrive in times of tempestuous change. Each chapter presents exemplary educational events rich in context, and then draws on seminal research to ground her recommendations in a robust theoretical foundation.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  9
    Rosser orderings and free variables.Dick de Jongh & Franco Montagna - 1991 - Studia Logica 50 (1):71-80.
    It is shown that for arithmetical interpretations that may include free variables it is not the Guaspari-Solovay system R that is arithmetically complete, but their system R⁻. This result is then applied to obtain the nonvalidity of some rules under arithmetical interpretations including free variables, and to show that some principles concerning Rosser orderings with free variables cannot be decided, even if one restricts onself to "usual" proof predicates.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  8
    In memoriam: Anne sjerp Troelstra 1939–2019.Dick de Jongh & Joan Rand Moschovakis - 2020 - Bulletin of Symbolic Logic 26 (3-4):293-295.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  3
    Much Shorter Proofs.Dick de Jongh & Franco Montagna - 1989 - Mathematical Logic Quarterly 35 (3):247-260.
  31.  38
    Locke and Hooker on the Finding of the Law.Eugeen De Jonghe - 1988 - Review of Metaphysics 42 (2):301-325.
    THE PURPOSE OF THE PRESENT EXPOSITION is to put forward an interpretation of Locke's and Hooker's conception of the finding of the law. The topics which will be examined are the knowledge and content of the different types of law and, above all, the standard of the good law. That Locke and Hooker used the same language, to a large extent, in treating the concept of law can be seen immediately in a comparison of Locke's Essays on the Law of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  2
    Public Goods and the Commons: Opposites or Complements?Maurits de Jongh - 2021 - Political Theory 49 (5):774-800.
    The commons have emerged as a key notion and underlying experience of many efforts around the world to promote justice and democracy. A central question for political theories of the commons is whether the visions of social order and regimes of political economy they propose are complementary or opposed to public goods that are backed up by governmental coordination and compulsion. This essay argues that the post-Marxist view, which posits an inherent opposition between the commons as a sphere of inappropriable (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  19
    Much Shorter Proofs.Dick de Jongh & Franco Montagna - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):247-260.
  34.  4
    Preface.Dick de Jongh & Albert Visser - 1993 - Annals of Pure and Applied Logic 61 (1-2):1.
  35.  21
    Extendible formulas in two variables in intuitionistic logic.Nick Bezhanishvili & Dick de Jongh - 2012 - Studia Logica 100 (1-2):61-89.
    We give alternative characterizations of exact, extendible and projective formulas in intuitionistic propositional calculus IPC in terms of n-universal models. From these characterizations we derive a new syntactic description of all extendible formulas of IPC in two variables. For the formulas in two variables we also give an alternative proof of Ghilardi’s theorem that every extendible formula is projective.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  12
    The Kuznetsov-Gerčiu and Rieger-Nishimura logics.Guram Bezhanishvili, Nick Bezhanishvili & Dick de Jongh - 2008 - Logic and Logical Philosophy 17 (1-2):73-110.
    We give a systematic method of constructing extensions of the Kuznetsov-Gerčiu logic KG without the finite model property (fmp for short), and show that there are continuum many such. We also introduce a new technique of gluing of cyclic intuitionistic descriptive frames and give a new simple proof of Gerčiu’s result [9, 8] that all extensions of the Rieger-Nishimura logic RN have the fmp. Moreover, we show that each extension of RN has the poly-size model property, thus improving on [9]. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  1
    Public goods in Michael Oakeshott’s ‘world of pragmata’.Maurits de Jongh - 2022 - European Journal of Political Theory 21 (3):561-584.
    Michael Oakeshott’s account of political economy is claimed to have found its ‘apotheosis under Thatcherism’. Against critics who align him with a preference for small government, this article points to Oakeshott’s stress on the indispensability of an infrastructure of government-provided public goods, in which individual agency and associative freedom can flourish. I argue that Oakeshott’s account of political economy invites a contestatory politics over three types of public goods, which epitomize the unresolvable tension he diagnosed between nomocratic and teleocratic conceptions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  1
    Public goods in Michael Oakeshott’s ‘world of pragmata’.Maurits de Jongh - 2019 - European Journal of Political Theory 21 (3):147488511989045.
    Michael Oakeshott’s account of political economy is claimed to have found its ‘apotheosis under Thatcherism’. Against critics who align him with a preference for small government, this article poin...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  41
    Giorgi Japaridze and Dick de Jongh. The logic of provability. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 475–546. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):472-473.
  40.  2
    Foundations of Pragmatics and Lexical Semantics.J. A. G. Groenendijk, Dick de Jongh & M. J. B. Stokhof (eds.) - 1986 - Providence, Ri, Usa, Foris Publications ;.
  41.  9
    Interpretability in PRA.Marta Bílková, Dick de Jongh & Joost J. Joosten - 2010 - Annals of Pure and Applied Logic 161 (2):128-138.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Interpolation, Definability and Fixed Points in Interpretability Logics.Carlos Areces, Eva Hoogland & Dick de Jongh - 2000 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 53-76.
    No categories
     
    Export citation  
     
    Bookmark  
  43. Efficacy of virtual reality exposure therapy and eye movement desensitization and reprocessing therapy on symptoms of acrophobia and anxiety sensitivity in adolescent girls: A randomized controlled trial.Parisa Azimisefat, Ad de Jongh, Soran Rajabi, Philipp Kanske & Fatemeh Jamshidi - 2022 - Frontiers in Psychology 13.
    BackgroundAcrophobia is a specific phobia characterized by a severe fear of heights. The purpose of the present study was to investigate the efficacy of two therapies that may ameliorate symptoms of acrophobia and anxiety sensitivity, i.e., virtual reality exposure therapy and eye movement desensitization and reprocessing therapy with a Waiting List Control Condition.MethodsWe applied a three-armed randomized controlled pre-post-test design with 45 female adolescent students. Students who met DSM-5 criteria for acrophobia were randomly assigned to either VRET, EMDR, or a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  8
    Provable Fixed Points.Much Shorter Proofs.Rosser Orderings in Bimodal Logics.Much Shorter Proofs: A Bimodal Investigation. [REVIEW]Lev D. Beklemishev, Dick de Jongh, Franco Montagna & Alessandra Carbone - 1993 - Journal of Symbolic Logic 58 (2):715.
  45.  7
    Interpretability in.Marta Bílková, Dick de Jongh & Joost J. Joosten - 2010 - Annals of Pure and Applied Logic 161 (2):128-138.
    In this paper, we study IL(), the interpretability logic of . As is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetical completeness results do not apply to : IL() is not or . IL() does, of course, contain all the principles known to be part of IL, the interpretability logic of the principles common to all reasonable arithmetical theories. In this paper, we take two arithmetical properties of and see what their consequences in the modal logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  10
    Properties of Intuitionistic Provability and Preservativity Logics.Rosalie Iemhoff, Dick de Jongh & Chunlai Zhou - 2005 - Logic Journal of the IGPL 13 (6):615-636.
    We study the modal properties of intuitionistic modal logics that belong to the provability logic or the preservativity logic of Heyting Arithmetic. We describe the □-fragment of some preservativity logics and we present fixed point theorems for the logics iL and iPL, and show that they imply the Beth property. These results imply that the fixed point theorem and the Beth property hold for both the provability and preservativity logic of Heyting Arithmetic. We present a frame correspondence result for the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Interpolation, Definability and Fixed Points in Interpretability Logics.Carlos Areces, Eva Hoogland & Dick de Jongh - 2000 - In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 2. CSLI Publications. pp. 53-76.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  48.  23
    On unification and admissible rules in Gabbay–de Jongh logics.Jeroen P. Goudsmit & Rosalie Iemhoff - 2014 - Annals of Pure and Applied Logic 165 (2):652-672.
    In this paper we study the admissible rules of intermediate logics. We establish some general results on extensions of models and sets of formulas. These general results are then employed to provide a basis for the admissible rules of the Gabbay–de Jongh logics and to show that these logics have finitary unification type.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  49.  8
    A separable axiomatization of the Gabbay–de Jongh logics.Yokomizo Kyohei - 2017 - Logic Journal of the IGPL 25 (3):365-380.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  22
    Kripke incompleteness of predicate extentions of Gabbay-de jongh's logic of the finite binary trees.Tatsuya Shimura - 2002 - Bulletin of the Section of Logic 31 (2):111-118.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000