Results for ' m-generalized Łukasiewicz algebra of order n '

1000+ found
Order:
  1.  91
    On the variety of M -generalized łukasiewicz algebras of order N.Júlia Vaz de Carvalho - 2010 - Studia Logica 94 (2):291-305.
    In this paper we pursue the study of the variety of m -generalized Łukasiewicz algebras of order n which was initiated in [1]. This variety contains the variety of Łukasiewicz algebras of order n . Given , we establish an isomorphism from its congruence lattice to the lattice of Stone filters of a certain Łukasiewicz algebra of order n and for each congruence on A we find a description via the corresponding Stone (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  21
    Weak implication on generalized Lukasiewicz algebras of order N.A. V. Figallo, C. Gallardo & A. Ziliani - 2010 - Bulletin of the Section of Logic 39 (3/4):187-198.
  3.  14
    On the Variety of m-generalized Łukasiewicz Algebras of Order n.Júlia Carvalho - 2010 - Studia Logica 94 (2):291-305.
    In this paper we pursue the study of the variety $ L_n ^ m $ of m - generalized? ukasiewicz algebras of order n which was initiated in [ 1 ]. This variety contains the variety of? ukasiewicz algebras of order n. Given A? $ \ in L_n ^ m $, we establish an isomorphism from its congruence lattice to the lattice of Stone filters of a certain? ukasiewicz algebra of order n and for each (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  17
    Are Humans Prepared to Detect, Fear, and Avoid Snakes? The Mismatch Between Laboratory and Ecological Evidence.Carlos M. Coelho, Panrapee Suttiwan, Abul M. Faiz, Fernando Ferreira-Santos & Andras N. Zsido - 2019 - Frontiers in Psychology 10.
    Since Seligman's 1971 statement that the vast majority of phobias are about objects essential to the survival of a species, a multitude of laboratory studies followed, supporting the finding that humans learn to fear and detect snakes (and other animals) faster than other stimuli. Most of these studies used schematic drawings, images, or pictures of snakes, and only a small amount of fieldwork in naturalistic environments was done. We address fear preparedness theories, and automatic fast detection data from mainstream laboratory (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  18
    On the logic that preserves degrees of truth associated to involutive Stone algebras.Liliana M. Cantú & Martín Figallo - 2020 - Logic Journal of the IGPL 28 (5):1000-1020.
    Involutive Stone algebras were introduced by R. Cignoli and M. Sagastume in connection to the theory of $n$-valued Łukasiewicz–Moisil algebras. In this work we focus on the logic that preserves degrees of truth associated to S-algebras named Six. This follows a very general pattern that can be considered for any class of truth structure endowed with an ordering relation, and which intends to exploit many-valuedness focusing on the notion of inference that results from preserving lower bounds of truth values, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  3
    Compactness in first order Łukasiewicz logic.N. Tavana, M. Pourmahdian & F. Didehvar - 2012 - Logic Journal of the IGPL 20 (1):254-265.
    For a subset K ⊆ [0, 1], the notion of K-satisfiability is a generalization of the usual satisfiability in first order fuzzy logics. A set Γ of closed formulas in a first order language τ is K-satisfiable, if there exists a τ-structure such that ∥ σ ∥ ∈ K, for any σ ∈ Γ. As a consequence, the usual compactness property can be replaced by the K-compactness property. In this paper, the K-compactness property for Łukasiewicz first (...) logic is investigated. Using the ultraproduct construction, it is proved that for any closed subset K and set Γ of closed formulas, Γ is K-satisfiable if and only if it is finitely K-satisfiable. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Measuring the Effect of a Guideline-based Training on Ontology Design with a Competency Questions based Evaluation Approach.M. Boeker, N. Grewe, J. Röhl, D. Schober, S. Schulz, D. Seddig-Raufie & L. Jansen - 2013 - In M. Horbach (ed.), Informatik 2013. Informatik angepasst an Mensch, Organisation und Umwelt. pp. 1783-1795.
    OBJECTIVE: (a) To measure the effect of a guideline-based training on the performance of ontology developers compared with the performance after unspecific training by a competency question based evaluation; and (b) to provide empirical evidence for the applicability of competency questions in formal ontology evaluation in general. BACKGROUND: A close connection between ontology development and ontology evaluation as quality management procedure can been attained with the use of competency questions. Competency questions are often used as a semi-formal specification of requirements (...)
     
    Export citation  
     
    Bookmark  
  8.  3
    Ptolemy’s Scientific Cosmology.N. M. Swerdlow - 2023 - In Marius Stan & Christopher Smeenk (eds.), Theory, Evidence, Data: Themes from George E. Smith. Springer. pp. 327-348.
    The purpose of this essay is to show that there was one person, perhaps only one, who developed a rigorously scientific cosmology nearly two thousand years ago. Cosmology is the largest of all subjects, with a long history, and the cosmology considered here is the one that endured for the longest part, nearly three-quarters, of that history. By cosmology I mean a description of the universe as a whole and of the arrangement of its principal parts. But by scientific cosmology, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  64
    The evolution of general intelligence.Judith M. Burkart, Michèle N. Schubiger & Carel P. van Schaik - 2017 - Behavioral and Brain Sciences 40.
    The presence of general intelligence poses a major evolutionary puzzle, which has led to increased interest in its presence in nonhuman animals. The aim of this review is to critically evaluate this question and to explore the implications for current theories about the evolution of cognition. We first review domain-general and domain-specific accounts of human cognition in order to situate attempts to identify general intelligence in nonhuman animals. Recent studies are consistent with the presence of general intelligence in mammals. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  10.  4
    A Generalization of Monadic n-Valued Łukasiewicz Algebras.Carlos Gallardo & Alicia Ziliani - 2021 - Studia Logica 110 (2):457-478.
    \ of monadic m-generalized Łukasiewicz algebras of order n -algebras), namely a generalization of monadic n-valued Łukasiewicz algebras. In this article, we determine the congruences and we characterized the subdirectly irreducible \-algebras. From this last result we proved that \ is a discriminator variety and as a consequence we characterized the principal congruences. In the last part of this paper we find an immersion of these algebras in a functional algebra and we proved that in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  12
    Order in Implication Zroupoids.Juan M. Cornejo & Hanamantagouda P. Sankappanavar - 2016 - Studia Logica 104 (3):417-453.
    The variety \ of implication zroupoids and a constant 0) was defined and investigated by Sankappanavar :21–50, 2012), as a generalization of De Morgan algebras. Also, in Sankappanavar :21–50, 2012), several subvarieties of \ were introduced, including the subvariety \, defined by the identity: \, which plays a crucial role in this paper. Some more new subvarieties of \ are studied in Cornejo and Sankappanavar that includes the subvariety \ of semilattices with a least element 0. An explicit description of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  19
    The Social Dimension of Organizations: Recent experiences with Great Place to Work® assessment practices.Gerard I. J. M. Zwetsloot & Marcel N. A. van Marrewijk - 2004 - Journal of Business Ethics 55 (2):135-146.
    This paper elaborates on conceptual, empirical and practical arguments why corporations need to focus on their social dimensions, in order to further enhance organizational performance. The paper starts with an introduction on the general trend towards inclusiveness and connectedness. It then elaborates on the phase-wise development of cultures and organizational structures. Managing corporate improvement by building cultures of trust is the central focus of this contribution. By showing the cultural dimensions of Great Places to Work and their workplace practices, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  75
    Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.
    We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  8
    “Turkish Bath” in Petersburg as a Symbol of the Ottoman-Russian War of 1828-1829.Saliha Tanik & Gülhanım Bihter Yetki̇n - 2021 - Dini Araştırmalar 24 (60):181-200.
    Bath structures, which emerged as a result of the importance given to washing since ancient times and which mean "place to wash", provided continuity with the style created in the Roman and Byzantine periods. Turkish baths, shaped on the bath tradition of the Roman and Byzantine periods, gain a unique form in time, especially after the adoption of Islam. It is seen that with the differences with the beliefs and behaviours brought by Islam the important changes in the structure of (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  46
    Lagrangian form of Schrödinger equation.D. Arsenović, N. Burić, D. M. Davidović & S. Prvanović - 2014 - Foundations of Physics 44 (7):725-735.
    Lagrangian formulation of quantum mechanical Schrödinger equation is developed in general and illustrated in the eigenbasis of the Hamiltonian and in the coordinate representation. The Lagrangian formulation of physically plausible quantum system results in a well defined second order equation on a real vector space. The Klein–Gordon equation for a real field is shown to be the Lagrangian form of the corresponding Schrödinger equation.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16.  6
    Young John Dewey. [REVIEW]C. N. M. - 1976 - Review of Metaphysics 29 (4):729-730.
    It is a well-known and documented fact that the primary influence on Dewey’s thought in its early, pre-Chicago, years was the neo-Hegelianism of his Hopkins mentor and later Michigan colleague, G. S. Morris. It was Morris’ thought that suggested to Dewey that if the world evinces any order, purposefulness, and beauty it cannot be accounted for empirically or mechanistically; it must be the expression of mind and spirit in history. Hegelianism was the first philosophy adopted by Dewey, and in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  45
    The algebraization of quantum mechanics and the implicate order.F. A. M. Frescura & B. J. Hiley - 1980 - Foundations of Physics 10 (9-10):705-722.
    It has been proposed that the implicate order can be given mathematical expression in terms of an algebra and that this algebra is similar to that used in quantum theory. In this paper we bring out in a simple way those aspects of the algebraic formulation of quantum theory that are most relevant to the implicate order. By using the properties of the standard ket introduced by Dirac we describe in detail how the Heisenberg algebra (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18. Social Cognition in Down Syndrome: Face Tuning in Face-Like Non-Face Images.Marina A. Pavlova, Jessica Galli, Federica Pagani, Serena Micheletti, Michele Guerreschi, Alexander N. Sokolov, Andreas J. Fallgatter & Elisa M. Fazzi - 2018 - Frontiers in Psychology 9.
    Individuals with Down syndrome (DS) are widely believed to possess considerable socialization strengths. However, the findings on social cognition capabilities are controversial. In the present study, we investigated whether individuals with DS exhibit shortage in face tuning, one of the indispensable components of social cognition. For this purpose, we implemented a recently developed Face-n-Food paradigm with food-plate images composed of food ingredients such as fruits and vegetables. The key benefit of such ‘face like non-face’ images is that single elements do (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  39
    Lukasiewicz's Many-valued Logic and Neoplatonic Scalar Modality.John N. Martin - 2002 - History and Philosophy of Logic 23 (2):95-120.
    This paper explores the modal interpretation of ?ukasiewicz's n -truth-values, his conditional and the puzzles they generate by exploring his suggestion that by ?necessity? he intends the concept used in traditional philosophy. Scalar adjectives form families with nested extensions over the left and right fields of an ordering relation described by an associated comparative adjective. Associated is a privative negation that reverses the ?rank? of a predicate within the field. If the scalar semantics is interpreted over a totally ordered domain (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  74
    A Generalization of the Łukasiewicz Algebras.Teresa Almada & JÚlia Vaz de Carvalho - 2001 - Studia Logica 69 (3):329 - 338.
    We introduce the variety $\scr{L}_{n}^{m}$ , m ≥ 1 and n ≥ 2, of m-generalized Łukasiewicz algebras of order n and characterize its subdirectly irreducible algebras. The variety $\scr{L}_{n}^{m}$ is semisimple, locally finite and has equationally definable principal congruences. Furthermore, the variety $\scr{L}_{n}^{m}$ contains the variety of Łukasiewicz algebras of order n.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  89
    Phi-symmetric effect algebras.M. K. Bennett & D. J. Foulis - 1995 - Foundations of Physics 25 (12):1699-1722.
    The notion of a Sasaki projectionon an orthomodular lattice is generalized to a mapping Φ: E × E → E, where E is an effect algebra. If E is lattice ordered and Φ is symmetric, then E is called a Φ-symmetric effect algebra.This paper launches a study of such effect algebras. In particular, it is shown that every interval effect algebra with a lattice-ordered ambient group is Φ-symmetric, and its group is the one constructed by Ravindran (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  22.  30
    Intentions to consume foods from edible insects and the prospects for transforming the ubiquitous biomass into food.Kennedy O. Pambo, Robert M. Mbeche, Julius J. Okello, George N. Mose & John N. Kinyuru - 2018 - Agriculture and Human Values 35 (4):885-898.
    Edible insects are a potentially less burdensome source of proteins on the environment than livestock for a majority of rural consumers. Hence, edible insects are a timely idea to address the challenges of the supply side to sustainably meet an increasing demand for food. The objective of this paper is twofold. The first is to identify and compare rural-households’ intentions to consume insect-based foods among households drawn from two regions in Kenya—one where consumption of insects is common and the other (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  17
    Effects of Guideline-Based Training on the Quality of Formal Ontologies: A Randomized Controlled Trial.M. Boeker, L. Jansen, J. Röhl, N. Grewe, D. Seddig-Raufie & S. Schulz - 2013 - PLoS ONE 1.
    BACKGROUND -/- The importance of ontologies in the biomedical domain is generally recognized. However, their quality is often too poor for large-scale use in critical applications, at least partially due to insufficient training of ontology developers. -/- OBJECTIVE -/- To show the efficacy of guideline-based ontology development training on the performance of ontology developers. The hypothesis was that students who received training on top-level ontologies and design patterns perform better than those who only received training in the basic principles of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  26
    Algebraic Functions.M. Campercholi & D. Vaggione - 2011 - Studia Logica 98 (1-2):285-306.
    Let A be an algebra. We say that the functions f 1 , . . . , f m : A n → A are algebraic on A provided there is a finite system of term-equalities $${{\bigwedge t_{k}(\overline{x}, \overline{z}) = s_{k}(\overline{x}, \overline{z})}}$$ satisfying that for each $${{\overline{a} \in A^{n}}}$$, the m -tuple $${{(f_{1}(\overline{a}), \ldots , f_{m}(\overline{a}))}}$$ is the unique solution in A m to the system $${{\bigwedge t_{k}(\overline{a}, \overline{z}) = s_{k}(\overline{a}, \overline{z})}}$$. In this work we present a collection of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  15
    Order Theoretic Properties of Holistic Ethical Theories.John N. Martin - 1991 - Environmental Ethics 13 (3):215-234.
    Using concepts from abstract algebra and type theory, I analyze the structural presuppositions of any holistic ethical theory. This study is motivated by such recent holistic theories in environmental ethics as Aldo Leopold’s land ethic, James E. Lovelock’s Gaia hypothesis, Arne Naess’ deep ecology, and various aesthetic ethics of the sublime. I also discuss the holistic and type theoretic assumptions of suchstandard ethical theories as hedonism, natural rights theory, utilitarianism, Rawls’ difference principle, and fascism. I argue that although there (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  34
    Order theoretic properties of holistic ethical theories.John N. Martin - 1991 - Environmental Ethics 13 (3):215-234.
    Using concepts from abstract algebra and type theory, I analyze the structural presuppositions of any holistic ethical theory. This study is motivated by such recent holistic theories in environmental ethics as Aldo Leopold’s land ethic, James E. Lovelock’s Gaia hypothesis, Arne Naess’ deep ecology, and various aesthetic ethics of the sublime. I also discuss the holistic and type theoretic assumptions of suchstandard ethical theories as hedonism, natural rights theory, utilitarianism, Rawls’ difference principle, and fascism. I argue that although there (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  48
    On a Unified Theory of Generalized Branes Coupled to Gauge Fields, Including the Gravitational and Kalb–Ramond Fields.M. Pavšič - 2007 - Foundations of Physics 37 (8):1197-1242.
    We investigate a theory in which fundamental objects are branes described in terms of higher grade coordinates $X^{\mu{_1}\ldots \mu{_n}}$ encoding both the motion of a brane as a whole, and its volume evolution. We thus formulate a dynamics which generalizes the dynamics of the usual branes. Geometrically, coordinates $X^{\mu{_1} \ldots \mu{_n}}$ and associated coordinate frame fields { ${\gamma_{\mu{_1}\ldots\mu{_n}}}$ } extend the notion of geometry from spacetime to that of an enlarged space, called Clifford space or C-space. If we start from (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  28.  61
    The implicate order, algebras, and the spinor.F. A. M. Frescura & B. J. Hiley - 1980 - Foundations of Physics 10 (1-2):7-31.
    We review some of the essential novel ideas introduced by Bohm through the implicate order and indicate how they can be given mathematical expression in terms of an algebra. We also show how some of the features that are needed in the implicate order were anticipated in the work of Grassmann, Hamilton, and Clifford. By developing these ideas further we are able to show how the spinor itself, when viewed as a geometric object within a geometric (...), can be given a meaning which transcends the notion of the usual metric geometry in the sense that it must be regarded as an element of a broader and more general pregeometry. (shrink)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  29.  8
    Healthcare Professionals’ Acceptance of Digital Cognitive Rehabilitation.Ineke J. M. van der Ham, Rosalie van der Vaart, Anouk Miedema, Johanna M. A. Visser-Meily & Milan N. A. van der Kuil - 2020 - Frontiers in Psychology 11.
    With technological possibilities in healthcare steadily increasing, more tools for digital cognitive rehabilitation become available. Acceptance of such technological advances is crucial for successful implementation. Therefore, we examined technology acceptance specifically for this form of rehabilitation in a sample of healthcare providers involved in cognitive rehabilitation. An adjusted version of the Technology Acceptance Model questionnaire was used, including the subscales for perceived usefulness, perceived ease of use, subjective norm, and intention to use, which all contribute to actual use of a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  39
    Joins of minimal quasivarieties.M. E. Adams & W. Dziobiak - 1995 - Studia Logica 54 (3):371 - 389.
    LetL(K) denote the lattice (ordered by inclusion) of quasivarieties contained in a quasivarietyK and letD 2 denote the variety of distributive (0, 1)-lattices with 2 additional nullary operations. In the present paperL(D 2) is described. As a consequence, ifM+N stands for the lattice join of the quasivarietiesM andN, then minimal quasivarietiesV 0,V 1, andV 2 are given each of which is generated by a 2-element algebra and such that the latticeL(V 0+V1), though infinite, still admits an easy and nice (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  92
    Generalization of the Greenberger-Horne-Zeilinger algebraic proof of nonlocality.Robert K. Clifton, Michael L. G. Redhead & Jeremy N. Butterfield - 1991 - Foundations of Physics 21 (2):149-184.
    We further develop a recent new proof (by Greenberger, Horne, and Zeilinger—GHZ) that local deterministic hidden-variable theories are inconsistent with certain strict correlations predicted by quantum mechanics. First, we generalize GHZ's proof so that it applies to factorable stochastic theories, theories in which apparatus hidden variables are causally relevant to measurement results, and theories in which the hidden variables evolve indeterministically prior to the particle-apparatus interactions. Then we adopt a more general measure-theoretic approach which requires that GHZ's argument be modified (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  32.  22
    Elements of Mathematical Logic.P. J. M. - 1966 - Review of Metaphysics 19 (4):816-816.
    Novikov is one of Russia's leading logicians and the appearance of this fine textbook is a good indicator of increasing American interest in Soviet logic. The book contains some new material, including a new independence proof of the rule of complete induction from the remaining axioms of first-order arithmetic. The first third of this work consists in chapters on propositional algebra and the propositional calculus. The first-order predicate calculus comes next under discussion: here a number of important (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  8
    Teaching Scientific Integrity in Academia: What and How Students Want to Learn?N. Sira, M. Decker, C. Lemke, A. Winkens, C. Leicht-Scholten & D. Groß - forthcoming - Journal of Academic Ethics:1-20.
    Training in scientific integrity continues to be an important topic in universities and other research institutions. Its main goal is to prevent scientific misconduct and promote good scientific practice. However, there is still no consensus on how scientific integrity should be taught. Moreover, the perspective of those who receive such training is often underrepresented. Yet it is precisely their interests and needs that must be considered when developing educational programs. Against this backdrop, we conducted a mixed-methods study with the goal (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  36
    On Gravitational Effects in the Schrödinger Equation.M. D. Pollock - 2014 - Foundations of Physics 44 (4):368-388.
    The Schrödinger equation for a particle of rest mass $m$ and electrical charge $ne$ interacting with a four-vector potential $A_i$ can be derived as the non-relativistic limit of the Klein–Gordon equation $\left( \Box '+m^2\right) \varPsi =0$ for the wave function $\varPsi $ , where $\Box '=\eta ^{jk}\partial '_j\partial '_k$ and $\partial '_j=\partial _j -\mathrm {i}n e A_j$ , or equivalently from the one-dimensional action $S_1=-\int m ds +\int neA_i dx^i$ for the corresponding point particle in the semi-classical approximation $\varPsi \sim (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  50
    Jan Lukasiewicz. Selected Works. [REVIEW]G. N. T. - 1972 - Review of Metaphysics 26 (1):164-165.
    This volume offers to the English-speaking world a collection of important works by the eminent twentieth century logician, Jan Lukasiewicz, many of which are here translated into English for the first time. This edition differs significantly from the Polish edition which appeared in 1961—containing ten logic papers not appearing there and omitting articles primarily of interest to the Polish reader. In addition to writing in Polish, Lukasiewicz also published works in French, English, and notably in German, and sometimes translated his (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  63
    The Theory of Relations, Complex Terms, and a Connection Between λ and ε Calculi.Edward N. Zalta - manuscript
    This paper introduces a new method of interpreting complex relation terms in a second-order quantified modal language. We develop a completely general second-order modal language with two kinds of complex terms: one kind for denoting individuals and one kind for denoting n-place relations. Several issues arise in connection with previous, algebraic methods for interpreting the relation terms. The new method of interpreting these terms described here addresses those issues while establishing an interesting connection between λ and ε calculi. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Expanding the Duty to Rescue to Climate Migration.David N. Hoffman, Anne Zimmerman, Camille Castelyn & Srajana Kaikini - 2022 - Voices in Bioethics 8.
    Photo by Jonathan Ford on Unsplash ABSTRACT Since 2008, an average of twenty million people per year have been displaced by weather events. Climate migration creates a special setting for a duty to rescue. A duty to rescue is a moral rather than legal duty and imposes on a bystander to take an active role in preventing serious harm to someone else. This paper analyzes the idea of expanding a duty to rescue to climate migration. We address who should have (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  12
    On linearly ordered sets and permutation groups of countable degree.Hans Läuchli & Peter M. Neumann - 1988 - Archive for Mathematical Logic 27 (2):189-192.
  39.  76
    A First-Person Analysis Using Third-Person Data as a Generative Method: A Case Study of Surprise in Depression.N. Depraz, M. Gyemant & T. Desmidt - 2017 - Constructivist Foundations 12 (2):190-203.
    Context: The use of first-person micro-phenomenological interviews and their productive interaction with third-person physiological data is a challenging and pressing issue in order to offer an effective and fruitful application of Varela’s neurophenomenological hypothesis. Problem: We aim at offering a generative method of analysis of first-person micro-phenomenological interviews using third-person physiological data. Our challenge is to describe this generative first-person analysis with the third-person physiological framework rather than put Varela’s hypothesis into practice in a generative way (as we did (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  40.  11
    Counting weak Heyting algebras on finite distributive lattices.M. Alizadeh & N. Joharizadeh - 2015 - Logic Journal of the IGPL 23 (2):247-258.
  41.  22
    A derivation of local commutativity from macrocausality using a quantum mechanical theory of measurement.W. M. de Muynck & J. P. H. W. van den Eijnde - 1984 - Foundations of Physics 14 (2):111-146.
    A theory of the joint measurement of quantum mechanical observables is generalized in order to make it applicable to the measurement of the local observables of field theory. Subsequently, the property of local commutativity, which is usually introduced as a postulate, is derived by means of the theory of measurement from a requirement of mutual nondisturbance, which, for local observables performed at a spacelike distance from each other, is interpreted as a requirement of macrocausality. Alternative attempts at establishing (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  42.  33
    The Lunar Theories of Tycho Brahe and Christian Longomontanus in the Progymnasmata and Astronomia Danica.N. M. Swerdlow - 2009 - Annals of Science 66 (1):5-58.
    Summary Tycho Brahe's lunar theory, mostly the work of his assistant Christian Longomontanus, published in the Progymnasmata (1602), was the most advanced and accurate lunar theory yet developed. Its principal innovations are: the introduction of equant motion for the first inequality in order to separate the determination of direction and distance; a more accurate limit for the second inequality although requiring a more complex calculation; additional inequalities of the variation and, in place of the annual inequality in Tycho's earlier (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  5
    Records and processes of dispute settlement in early medieval societies: Iberia and beyond.Isabel Alfonso Antón, José M. Andrade & André Evangelista Marques (eds.) - 2023 - Boston: Brill.
    How can dispute records shed light on the study of dispute settlement processes and their social and political underpinnings? This volume addresses this question by investigating the interplay between record-making, disputing process, and the social and political contexts of conflicts. The authors make use of exceptionally rich charter materials from the Iberian Peninsula, Italy, and Scandinavia, including different types of texts directly and indirectly related to conflicts, in order to contribute to a comparative survey of early medieval dispute records (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  17
    Emergence of higher order rotational symmetry in the hidden order phase of URuSi.N. Kanchanavatee, M. Janoschek, K. Huang, B. D. White, P. S. Riseborough, A. V. Balatsky & M. B. Maple - forthcoming - Philosophical Magazine:1-11.
  45.  20
    Enhancement of the hidden order/large moment antiferromagnetic transition temperature in the URu2−xOsxSi2system.N. Kanchanavatee, B. D. White, V. W. Burnett & M. B. Maple - 2014 - Philosophical Magazine 94 (32-33):3681-3690.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  12
    The elastic field of general-shape 3-D cracks.N. M. Ghoniem & J. Huang - 2006 - Philosophical Magazine 86 (27):4195-4212.
  47.  34
    Attributes of a good physician: what are the opinions of first-year medical students?M. Sehiralti, A. Akpinar & N. Ersoy - 2010 - Journal of Medical Ethics 36 (2):121-125.
    Background Undergraduate medical education is beginning to concern itself with educating students about professional attributes as well as about clinical knowledge and skills. Defining these characteristics, and in particular seeking the help of the students themselves to define them, can be a useful starting point when considering how to incorporate aspects of professional behaviour into the medical curricula. Method This study explores the views of first-year medical students at Kocaeli University Faculty of Medicine in the 2007–8 academic year. The students (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  26
    The Logic of Decision and Action. [REVIEW]B. M. M. - 1969 - Review of Metaphysics 23 (1):143-144.
    The body of this book contains four original papers, comments, and author's replies, from a conference on the Logic of Decision and Action held at the University of Pittsburgh in March 1966. The principal authors are Herbert Simon, N. Rescher, Donald Davidson, and G. H. von Wright. Commentators are R. Ackermann, A. R. Anderson, N. D. Belnap, R. Binkley, H. N. Castañeda, R. Chisholm, J. Robison, and the late E. J. Lemmon. As appendices, there are articles by A. R. Anderson (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  16
    Science without Laws: Model Systems, Cases, Exemplary Narratives.Angela N. H. Creager, Elizabeth Lunbeck, M. Norton Wise, Barbara Herrnstein Smith & E. Roy Weintraub (eds.) - 2007 - Duke University Press.
    Physicists regularly invoke universal laws, such as those of motion and electromagnetism, to explain events. Biological and medical scientists have no such laws. How then do they acquire a reliable body of knowledge about biological organisms and human disease? One way is by repeatedly returning to, manipulating, observing, interpreting, and reinterpreting certain subjects—such as flies, mice, worms, or microbes—or, as they are known in biology, “model systems.” Across the natural and social sciences, other disciplinary fields have developed canonical examples that (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  18
    Generic Vopěnka cardinals and models of ZF with few $$\aleph _1$$ ℵ 1 -Suslin sets.Trevor M. Wilson - 2019 - Archive for Mathematical Logic 58 (7-8):841-856.
    We define a generic Vopěnka cardinal to be an inaccessible cardinal \ such that for every first-order language \ of cardinality less than \ and every set \ of \-structures, if \ and every structure in \ has cardinality less than \, then an elementary embedding between two structures in \ exists in some generic extension of V. We investigate connections between generic Vopěnka cardinals in models of ZFC and the number and complexity of \-Suslin sets of reals in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000