Results for 'Clint J. van Alten'

999 found
Order:
  1.  37
    Rule Separation and Embedding Theorems for Logics Without Weakening.Clint J. van Alten & James G. Raftery - 2004 - Studia Logica 76 (2):241-274.
    A full separation theorem for the derivable rules of intuitionistic linear logic without bounds, 0 and exponentials is proved. Several structural consequences of this theorem for subreducts of (commutative) residuated lattices are obtained. The theorem is then extended to the logic LR+ and its proof is extended to obtain the finite embeddability property for the class of square increasing residuated lattices.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  2.  19
    Complexity of the Universal Theory of Modal Algebras.Dmitry Shkatov & Clint J. Van Alten - 2020 - Studia Logica 108 (2):221-237.
    We apply the theory of partial algebras, following the approach developed by Van Alten, to the study of the computational complexity of universal theories of monotonic and normal modal algebras. We show how the theory of partial algebras can be deployed to obtain co-NP and EXPTIME upper bounds for the universal theories of, respectively, monotonic and normal modal algebras. We also obtain the corresponding lower bounds, which means that the universal theory of monotonic modal algebras is co-NP-complete and the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  16
    Correction to: Complexity of the Universal Theory of Modal Algebras.Dmitry Shkatov & Clint J. Van Alten - 2019 - Studia Logica 109 (5):1175-1175.
    In the original publication of the article, the authors name were abbreviated as “D. Shkatov” and “C. J. Van Alten”. However it should be “Dmitry Shkatov” and “Clint J. Van Alten”. The original article has been corrected.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  29
    The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
    The logics considered here are the propositional Linear Logic and propositional Intuitionistic Linear Logic extended by a knotted structural rule: γ, xn → y / γ, xm → y. It is proved that the class of algebraic models for such a logic has the finite embeddability property, meaning that every finite partial subalgebra of an algebra in the class can be embedded into a finite full algebra in the class. It follows that each such logic has the finite model property (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  15
    An algebraic look at filtrations in modal logic.W. Conradie, W. Morton & C. J. van Alten - 2013 - Logic Journal of the IGPL 21 (5):788-811.
  6.  8
    Rule Separation and Embedding Theorems for Logics Without Weakening.C. J. van Alten & J. G. Raftery - 2004 - Studia Logica 76 (2):241-274.
    A full separation theorem for the derivable rules of intuitionistic linear logic without bounds, 0 and exponentials is proved. Several structural consequences of this theorem for subreducts of (commutative) residuated lattices are obtained. The theorem is then extended to the logic LR+ and its proof is extended to obtain the finite embeddability property for the class of square increasing residuated lattices.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  7.  31
    The finite model property for the implicational fragment of IPC without exchange and contraction.C. van Alten & J. Raftery - 1999 - Studia Logica 63 (2):213-222.
    The aim of this paper is to show that the implicational fragment BKof the intuitionistic propositional calculus (IPC) without the rules of exchange and contraction has the finite model property with respect to the quasivariety of left residuation algebras (its equivalent algebraic semantics). It follows that the variety generated by all left residuation algebras is generated by the finite left residuation algebras. We also establish that BKhas the finite model property with respect to a class of structures that constitute a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  38
    On varieties of biresiduation algebras.C. J. van Alten - 2006 - Studia Logica 83 (1-3):425-445.
    A biresiduation algebra is a 〈/,\,1〉-subreduct of an integral residuated lattice. These algebras arise as algebraic models of the implicational fragment of the Full Lambek Calculus with weakening. We axiomatize the quasi-variety B of biresiduation algebras using a construction for integral residuated lattices. We define a filter of a biresiduation algebra and show that the lattice of filters is isomorphic to the lattice of B-congruences and that these lattices are distributive. We give a finite basis of terms for generating filters (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  25
    Computational complexity for bounded distributive lattices with negation.Dmitry Shkatov & C. J. Van Alten - 2021 - Annals of Pure and Applied Logic 172 (7):102962.
    We study the computational complexity of the universal and quasi-equational theories of classes of bounded distributive lattices with a negation operation, i.e., a unary operation satisfying a subset of the properties of the Boolean negation. The upper bounds are obtained through the use of partial algebras. The lower bounds are either inherited from the equational theory of bounded distributive lattices or obtained through a reduction of a global satisfiability problem for a suitable system of propositional modal logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  13
    Complexity of the Universal Theory of Residuated Ordered Groupoids.Dmitry Shkatov & C. J. Van Alten - 2023 - Journal of Logic, Language and Information 32 (3):489-510.
    We study the computational complexity of the universal theory of residuated ordered groupoids, which are algebraic structures corresponding to Nonassociative Lambek Calculus. We prove that the universal theory is co $$\textsf {NP}$$ -complete which, as we observe, is the lowest possible complexity for a universal theory of a non-trivial class of structures. The universal theories of the classes of unital and integral residuated ordered groupoids are also shown to be co $$\textsf {NP}$$ -complete. We also prove the co $$\textsf {NP}$$ (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  36
    Structural Completeness in Substructural Logics.J. S. Olson, J. G. Raftery & C. J. Van Alten - 2008 - Logic Journal of the IGPL 16 (5):453-495.
    Hereditary structural completeness is established for a range of substructural logics, mainly without the weakening rule, including fragments of various relevant or many-valued logics. Also, structural completeness is disproved for a range of systems, settling some previously open questions.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  12.  12
    Brein en bewustzijn: gedachtesprongen tussen hersenen en mensbeeld.J. Janssen & J. P. A. van Vugt (eds.) - 2006 - Nijmegen: Soeterbeeck Programma, Radboud Universiteit Nijmegen.
  13. Reasonableness, Intellectual Modesty, and Reciprocity in Political Justification.R. J. Leland & Han van Wietmarschen - 2012 - Ethics 122 (4):721-747.
    Political liberals ask citizens not to appeal to certain considerations, including religious and philosophical convictions, in political deliberation. We argue that political liberals must include a demanding requirement of intellectual modesty in their ideal of citizenship in order to motivate this deliberative restraint. The requirement calls on each citizen to believe that the best reasoners disagree about the considerations that she is barred from appealing to. Along the way, we clarify how requirements of intellectual modesty relate to moral reasons for (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  14.  17
    van der Meer, F., Auf den Spuren des alten Europa. Christliche Bilder und Stätten. [REVIEW]J. -J. Gavigan - 1962 - Augustinianum 2 (2):459-460.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  16
    van der Meer, F., Auf den Spuren des alten Europa. Christliche Bilder und Stätten. [REVIEW]J. -J. Gavigan - 1962 - Augustinianum 2 (2):459-460.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  36
    Multimo dal Logics of Products of Topologies.J. Van Benthem, G. Bezhanishvili, B. Ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369 - 392.
    We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion ${\bf S4}\oplus {\bf S4}$ . We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies. We prove that both of these logics are complete for the product of rational numbers ${\Bbb Q}\times {\Bbb Q}$ (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  17.  2
    Supporting Polish-Ukraine: A case study on the Afrikaans churches’ reaction to communism.Herman H. van Alten - 2021 - HTS Theological Studies 77 (4):1-8.
    This article explores the role of the Afrikaans sister churches during the initial stages of the fight against communism. After initially sketching the relations between South Africa and Russia until the Bolshevik Revolution of 1917, focus is placed on a narrow case of financial support from the side of the Reformed Church in South Africa via the Reformed Churches in the Netherlands towards the reformed movement in Polish-Ukraine during the 1930s and 1940s. Through the use of primary sources, this small (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18. Modal logics for products of topologies.J. Van Benthem, G. Bezhanishvili, B. Ten Cate & D. Sarenac - forthcoming - Studia Logica. To Appear.
  19.  13
    Chemistry as the Science of the Transformation of Substances.J. Van Brakel - 1997 - Synthese 111 (3):253-282.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  20.  29
    A reference value for the interior-to-edge ratio of isolated habitats.J. Bogaert, P. Van Hecke & I. Impens - 1999 - Acta Biotheoretica 47 (1):67-77.
    Isolated habitats, the consequence of the fragmentation process, are the object of external disturbance. This divides the patch area into two zones: interior and edge. The interior-to-edge ratio quantifies the potential disturbance impact. A method is presented to calculate a reference value for the interior-to-edge ratio, based upon the minimum edge for a given interior. The method is based on pixel geometry features and mathematical morphology. A corrected interior-to-edge ratio is defined using the reference value. The method is illustrated for (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  32
    The Role of Corporations in Shaping the Global Rules of the Game: In Search of New Foundations.J. Van Oosterhout - 2010 - Business Ethics Quarterly 20 (2):253-264.
    ABSTRACT:Although a research focus on the increasing involvement of corporations in shaping and maintaining the global rules of the game points out promising avenues for future research, it simultaneously makes clear how little currently established, mostly managerial conceptual frameworks have to offer in making sense of these developments. It is argued that we need to expand the rather restricted perspectives that these frameworks provide, in order to explore new conceptual foundations that will not only enable us to travel the confines (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  22.  21
    If Fairness is the Problem, Is Consent the Solution? Integrating ISCT and Stakeholder Theory.Harry J. Van Buren - 2001 - Business Ethics Quarterly 11 (3):481-499.
    Abstract:Work on stakeholder theory has proceeded on a variety of fronts; as Donaldson and Preston (1995) have noted, such work can be parsed into descriptive, instrumental, and normative research streams. In a normative vein, Phillips (1997) has made an argument for a principle of fairness as a means of identifying and adjudicating among stakeholders. In this essay, I propose that a reconstructed principle of fairness can be combined with the idea of consent as outlined in integrative social contract theory (ISCT) (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  23. Het Nuctemeron van Apollonius van Tyana.J. Van Rijckenborgh - 1969 - Haarlem,: Rozekruis-Pers.
  24.  73
    Influence of physicians' life stances on attitudes to end-of-life decisions and actual end-of-life decision-making in six countries.J. Cohen, J. van Delden, F. Mortier, R. Lofmark, M. Norup, C. Cartwright, K. Faisst, C. Canova, B. Onwuteaka-Philipsen & J. Bilsen - 2008 - Journal of Medical Ethics 34 (4):247-253.
    Aim: To examine how physicians’ life stances affect their attitudes to end-of-life decisions and their actual end-of-life decision-making.Methods: Practising physicians from various specialties involved in the care of dying patients in Belgium, Denmark, The Netherlands, Sweden, Switzerland and Australia received structured questionnaires on end-of-life care, which included questions about their life stance. Response rates ranged from 53% in Australia to 68% in Denmark. General attitudes, intended behaviour with respect to two hypothetical patients, and actual behaviour were compared between all large (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  25.  23
    Theology, Politics and Letters at the Crossroads of European Civilization: Jacques Basnage and the Baylean Huguenot Refugees in the Dutch Republic.J. Van den Berg - 1991 - Journal of the History of Philosophy 29 (2):312-314.
  26.  94
    Buckner Quoting Goldstein and Davidson on Quotation.J. Van Brakel - 1985 - Analysis 45 (2):73 - 75.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  27.  35
    First Contacts and the Common Behavior of Human Beings.J. Van Brakel - 2005 - International Studies in Philosophy 37 (4):105-135.
  28. Light direction from shad (ow) ed random Gaussian surfaces.Jan J. Koenderink, Andrea J. van Doorn & Sylvia C. Pont - 2004 - In Robert Schwartz (ed.), Perception. Malden Ma: Blackwell. pp. 1405-1420.
     
    Export citation  
     
    Bookmark  
  29. Of Minds and Molecules: New Philosophical Perspectives on Chemistry.J. Van Brakel - 2000
  30. Exocentric directions in egocentric space.J. J. Koenderink, A. J. van Doorn & J. S. Lappin - 1996 - In Enrique Villanueva (ed.), Perception. Ridgeview. pp. 62-62.
  31. Signal pooling across on-and off-motion detectors.M. J. van der Smagt & W. A. van de Grind - 1996 - In Enrique Villanueva (ed.), Perception. Ridgeview. pp. 7b.
     
    Export citation  
     
    Bookmark  
  32.  38
    Flemish palliative-care nurses' attitudes to palliative sedation: A quantitative study.J. Gielen, S. Van den Branden, T. Van Iersel & B. Broeckaert - 2012 - Nursing Ethics 19 (5):692-704.
    Palliative sedation is an option of last resort to control refractory suffering. In order to better understand palliative-care nurses’ attitudes to palliative sedation, an anonymous questionnaire was sent to all nurses (589) employed in palliative care in Flanders (Belgium). In all, 70.5% of the nurses (n = 415) responded. A large majority did not agree that euthanasia is preferable to palliative sedation, were against non-voluntary euthanasia in the case of a deeply and continuously sedated patient and considered it generally better (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Het enthousiasme. Kants kritiek van de geschiedenis.J. Lyotard, Frans van Peperstraten & Dick Veerman - 1994 - Tijdschrift Voor Filosofie 56 (1):175-176.
    No categories
     
    Export citation  
     
    Bookmark  
  34.  32
    The Concept of Validity.Denny Borsboom, Gideon J. Mellenbergh & Jaap van Heerden - 2004 - Psychological Review 111 (4):1061-1071.
  35.  53
    The theoretical status of latent variables.Denny Borsboom, Gideon J. Mellenbergh & Jaap van Heerden - 2003 - Psychological Review 110 (2):203-219.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   59 citations  
  36.  10
    Conceptualizing, Theorizing, and Measuring the Contributions of Business to Refugee Crises.Iii Harry J. Van Buren, Charlotte Karam, Alexander Newman & Colin Higgins - 2024 - Business and Society 63 (1):3-17.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  4
    De gevaren van het relativisme.J. Van Gennep - 1970 - Kampen,: Kok.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  10
    Begrippen in het onderwijs: de theorie van Davydov.J. Haenen, B. van Oers & V. V. Davydov (eds.) - 1983 - Amsterdam: Pegasus.
  39. Augustin und der Manichäismus.J. Van Oort - 1994 - Zeitschrift für Religions- Und Geistesgeschichte 46:126-142.
    No categories
     
    Export citation  
     
    Bookmark  
  40.  8
    La concupiscencia sexual y el pecado original según san Agustín.J. Van Oort & José Oroz - 1991 - Augustinus 36 (140-143):337-342.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  6
    Special Issue Grotiana on Mare Liberum 1609-2009.J. Nijman & G. van Nifterik - 2009 - Grotiana 30.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Fondements d'une théorie de la justice. Essais critiques sur la philosophie politique de John Rawls.J. Ladrière & Ph Van Parijs - 1987 - Tijdschrift Voor Filosofie 49 (3):522-523.
     
    Export citation  
     
    Bookmark  
  43.  12
    A calendar for the messianic age a concept of Hendrik niclaes, founder of the house of love / a calendar for the messianic age, a concept of Hendrik niclaes, founder of the house of love.J. Van Goudoever - 1984 - Bijdragen 45 (3):276-294.
  44.  27
    Open Math: Communicating Mathematical Information Between Co-operating Agents in a Knowledge Network.J. Abbott, A. Van Leuwen & A. Strotman - 1998 - Journal of Intelligent Systems 8 (3-4):401-426.
  45.  13
    Réimpressions souhaitées; Liste des thèses de doctorat concernant la philosophie médiévale; Publications et fondations récentes; Liste de congrès intéressant l’histoire de la philosophie médiévale; Personalia.J. Hamesse & A. Van Bunnen - 1979 - Bulletin de Philosophie Medievale 21:97-110.
  46.  16
    A critical analysis of social innovation: A qualitative exploration of a religious organisation.Alex Antonites, Wentzel J. Schoeman & Willem F. J. van Deventer - 2019 - HTS Theological Studies 75 (4):12.
    New challenges are constantly emerging in the social sector in South Africa. Various social (non-profit) organisations are developing new and innovative ways to accommodate these challenges and to meet social needs. The aim of this research article is to measure the current social innovation capacity of the Dutch Reformed Church (DR Church), with reference to innovation capabilities, to determine at what level the church is meeting new social needs. Semi-structured interviews were conducted to collect data from six different congregations and (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47. The Missing Link / Monument for the Distribution of Wealth (Johannesburg, 2010).Vincent W. J. Van Gerven Oei & Jonas Staal - 2011 - Continent 1 (4):242-252.
    continent. 1.4 (2011): 242—252. Introduction The following two works were produced by visual artist Jonas Staal and writer Vincent W.J. van Gerven Oei during a visit as artists in residence at The Bag Factory, Johannesburg, South Africa during the summer of 2010. Both works were produced in situ and comprised in both cases a public intervention conceived by Staal and a textual work conceived by Van Gerven Oei. It was their aim, in both cases, to produce complementary works that could (...)
     
    Export citation  
     
    Bookmark  
  48. The Poetry of Nachoem M. Wijnberg.Vincent W. J. Van Gerven Oei - 2011 - Continent 1 (2):129-135.
    continent. 1.2 (2011): 129-135. Introduction Vincent W.J. van Gerven Oei Successions of words are so agreeable. It is about this. —Gertrude Stein Nachoem Wijnberg (1961) is a Dutch poet and novelist. He also a professor of cultural entrepreneurship and management at the Business School of the University of Amsterdam. Since 1989, he has published thirteen volumes of poetry and four novels, which, in my opinion mark a high point in Dutch contemporary literature. His novels even more than his poetry are (...)
     
    Export citation  
     
    Bookmark  
  49. Talking about Relations: Factors Influencing the Production of Relational Descriptions.Adriana Baltaretu, Emiel J. Krahmer, Carel van Wijk & Alfons Maes - 2016 - Frontiers in Psychology 7.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50.  11
    Managing Freely Acting People: Hannah Arendt's Theory of Action and Modern Management and Organisational Theory.J. Van Diest & B. Dankbaar - 2010 - Philosophy of Management 6 (3):97-113.
    This article offers an interpretation of theories of management and organisation from the perspective of Hannah Arendt’s theory of free action. This endeavour will contribute to criticism and eventually improvement of the conceptual framework of management and organisation theory. We discuss conceptual tensions in this field, for instance with respect to the relationship between human action and the constraints of an organisation. To the extent that management and organisation theory are practiceoriented, such an analysis can help to understand tensions and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 999