Results for 'well‐founded tree'

1000+ found
Order:
  1.  27
    Non-well-founded trees in categories.Benno van den Berg & Federico De Marchi - 2007 - Annals of Pure and Applied Logic 146 (1):40-59.
    Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data structures. Categorically, they arise as final coalgebras for polynomial endofunctors, which we call M-types. We derive existence results for M-types in locally cartesian closed pretoposes with a natural numbers object, using their internal logic. These are then used to prove stability of such categories with M-types under various topos-theoretic constructions; namely, slicing, formation of coalgebras , and sheaves for an (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  17
    Tree-automatic well-founded trees.Alexander Kartzow, Jiamou Liu & Markus Lohrey - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 363--373.
  3.  35
    A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets.Arnold Beckmann - 2002 - Archive for Mathematical Logic 41 (3):251-257.
    We construct by diagonalization a non-well-founded primitive recursive tree, which is well-founded for co-r.e. sets, provable in Σ1 0. It follows that the supremum of order-types of primitive recursive well-orderings, whose well-foundedness on co-r.e. sets is provable in Σ1 0, equals the limit of all recursive ordinals ω1 ck . RID=""ID="" Mathematics Subject Classification (2000): 03B30, 03F15 RID=""ID="" Supported by the Deutschen Akademie der Naturforscher Leopoldina grant #BMBF-LPD 9801-7 with funds from the Bundesministerium für Bildung, Wissenschaft, Forschung und Technologie. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  9
    Discourse markers in writing.Jean E. Fox Tree - 2015 - Discourse Studies 17 (1):64-82.
    Words like well, oh, and you know have long been observed and studied in spontaneous speech. With the proliferation of on-line dialogues, such as instant messaging between friends or back-and-forth postings at websites, there are increasing opportunities to observe them in spontaneous writing. In Experiment 1, the interpretation of discourse markers in on-line debates was compared to proposed functions of those markers identified in other settings. In Experiment 2, the use of discourse markers in spontaneous speech was compared to their (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  8
    Placing like in telling stories.Jean E. Fox Tree - 2006 - Discourse Studies 8 (6):723-743.
    The discourse marker use of the word like is considered by many to be superfluously sprinkled into talk, a bad habit best avoided. But a comparison of the use of like in successive tellings of stories demonstrates that like can be anticipated in advance and planned into stories. In this way, like is similar to other words and phrases tellers recycle during story telling. The anticipation of like contrasted with the uses of other discourse markers such as oh, you know, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  23
    Overhearers Use Addressee Backchannels in Dialog Comprehension.Jackson Tolins & Jean E. Fox Tree - 2016 - Cognitive Science 40 (6):1412-1434.
    Observing others in conversation is a common format for comprehending language, yet little work has been done to understand dialog comprehension. We tested whether overhearers use addressee backchannels as predictive cues for how to integrate information across speaker turns during comprehension of spontaneously produced collaborative narration. In Experiment 1, words that followed specific backchannels were recognized more slowly than words that followed either generic backchannels or pauses. In Experiment 2, we found that when the turn after the backchannel was a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  28
    Peirce's "architecture of theories" and the problem of pragmatism.Kelley J. Wells - 1996 - Metaphilosophy 27 (3):311-323.
    The paper begins as a response to Tom Rockmore's thesis that contemporary pragmatism is a healthy “confusion” of disparate views. While Rockmore sees the need of some of today's pragmatists to provide a motivation for what he calls “epistemic optimism,” I contend that the crucial question of pragmatism, the problem of pragmatism, is the ontological status of pragmatic meaning. Thus rather than a mere “epistemic optimism,” I call upon pragmatists to assert a fallible yet unabashedly metaphysical optimism. The argument supporting (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Democracy is not a truth machine.Thomas Wells - 2013 - Think 12 (33):75-88.
    ExtractIn a democracy people are free to express their opinions and question those of others. This is an important personal freedom, and also essential to the very idea of government by discussion. But it has also been held to be instrumentally important because in open public debate true ideas will conquer false ones by their merit, and the people will see the truth for themselves. In other words, democracy has an epistemic function as a kind of truth machine. From this (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  9.  5
    Fact and Responsibility – Approaches towards the Factual in Contemporary Art.Rachel Wells - 2015 - Zeitschrift für Ästhetik Und Allgemeine Kunstwissenschaft 60 (1):39-53.
    Rachel Wells turns to the examination of three recent artistic practices, which integrate facts in their work not as an antagonistic other but as a constitutive element to their efficacy and ethics. She argues, that in introducing news, factual actions, or objects with traces of factual events, Alfredo Jaar, Jeremy Deller and Martin Creed use facts in order to retract from the position of art as an expression of artistic freedom and subjectivity and thus as the opposite of fact. Instead, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. The subject of liberation: Žižek, politics, psychoanalysis.Charles H. Wells - 2014 - New York: Bloomsbury Academic.
    The book shares Žižek's central problem of how to revitalize the radical political left through theory. It initially follows the argument developed in The Ticklish Subject that contemporary leftist thought is divided by antagonism between a Marxist revolutionary politics founded on Enlightenment philosophy and a politics of identity founded on post-modern post-structuralism. How Žižek used Lacan's theory of character structures is examined here to describe this theoretical deadlock and explain how the dominant contemporary ideologies of liberal tolerant multiculturalism and reactionary (...)
     
    Export citation  
     
    Bookmark   1 citation  
  11.  30
    Transformation of Hearts and Minds: Chan Zen--Catholic Approaches to Precepts.Harry Lee Wells - 2005 - Buddhist-Christian Studies 25 (1):155-156.
    In lieu of an abstract, here is a brief excerpt of the content:Transformation of Hearts and Minds:Chan Zen-Catholic Approaches to PreceptsHarry L. WellsCatholic and Buddhist priests, monastics, teachers, and community leaders participated in the second of an anticipated four annual dialogues. The series is sponsored by the Dharma Realm Buddhist Association, the San Francisco Zen Center, and the United States Conference of Catholic Bishops (USCCB). The conference took place 4–7 March 2004 at Mercy Center in Burlingame, CA, whose own East-West (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12.  24
    Beyond the Usual Alternatives in Buddhist-Christian Dialogue: A Trinitarian Pluralist Approach.Harry L. Wells - 2002 - Buddhist-Christian Studies 22 (1):127-131.
    In lieu of an abstract, here is a brief excerpt of the content:Buddhist-Christian Studies 22 (2002) 127-131 [Access article in PDF] Beyond the Usual Alternatives in Buddhist-Christian Dialogue: A Trinitarian Pluralist Approach Harry L. Wells Humboldt State University When I was first asked to present this paper, I was concerned about the assignment —"Beyond the Usual Alternatives." I was told that the usual alternatives were exclusivism, inclusivism, and pluralism. I consider myself a pluralist, so how was I to go beyond (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  30
    God's companions: reimagining Christian ethics.Samuel Wells - 2006 - Oxford: Blackwell.
    We are pleased to annouce that God’s Companions by Samuel Wells has been shortlisted for the 2007 Michael Ramsey Prize for theological writing. www.michaelramseyprize.org.uk Grounded in Samuel Wells’ experience of ordinary lives in poorer neighborhoods, this book presents a striking and imaginative approach to Christian ethics. It argues that Christian ethics is founded on God, on the practices of human community, and on worship, and that ethics is fundamentally a reflection of God's abundance. Wells synthesizes dogmatic, liturgical, ethical, scriptural, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  18
    Cytogenetics in reproductive medicine: The contribution of comparative genomic hybridization (CGH).Dagan Wells & Brynn Levy - 2003 - Bioessays 25 (3):289-300.
    Cytogenetic research has had a major impact on the field of reproductive medicine, providing an insight into the frequency of chromosomal abnormalities that occur during gametogenesis, embryonic development and pregnancy. In humans, aneuploidy has been found to be relatively common during fetal life, necessitating prenatal screening of high‐risk pregnancies. Aneuploidy rates are higher still during the preimplantation stage of development. An increasing number of IVF laboratories have attempted to improve pregnancy rates by using preimplantation genetic diagnosis (PGD) to ensure that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  68
    Fifty years on from honest to God (1963) and objections to Christian belief (1963).George A. Wells - 2013 - Think 12 (35):83-91.
    Bishop John A.T. Robinson's Honest to God was exceptionally successful. In the decade following its publication more than a million copies were sold in seventeen different languages. Robinson was aware that numerous awkward questions were being asked about traditional Christian beliefs, which it was no longer possible to ignore. His purpose was not so much to question traditional ideas of God as to suggest alternatives for those who found them unsatisfactory . He wanted to convince such persons that an inability (...)
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  16.  27
    Life as Dialogue: Remembering Roger.Harry Lee Wells - 2007 - Buddhist-Christian Studies 27 (1):157-158.
    In lieu of an abstract, here is a brief excerpt of the content:Life as Dialogue:Remembering RogerHarry WellsI first met Roger when we both attended a colloquium on "Buddhist Thought and Culture" at the University of Montevello, Alabama, in April 1988. Roger read a paper that was thoroughly engaging, called "Becoming a Dialogian: How to do Buddhist-Christian Dialogue without Really Trying." At that point, I was hooked on getting to know this funny little man with a British accent who could deliver (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  8
    Can Machines Find the Bilingual Advantage? Machine Learning Algorithms Find No Evidence to Differentiate Between Lifelong Bilingual and Monolingual Cognitive Profiles.Samuel Kyle Jones, Jodie Davies-Thompson & Jeremy Tree - 2021 - Frontiers in Human Neuroscience 15.
    Bilingualism has been identified as a potential cognitive factor linked to delayed onset of dementia as well as boosting executive functions in healthy individuals. However, more recently, this claim has been called into question following several failed replications. It remains unclear whether these contradictory findings reflect how bilingualism is defined between studies, or methodological limitations when measuring the bilingual effect. One key issue is that despite the claims that bilingualism yields general protection to cognitive processes, studies reporting putative bilingual differences (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  71
    Debating totalitarianism: An exchange of letters between Hannah Arendt and Eric Voegelin.Peter Baehr & Gordon C. Wells - 2012 - History and Theory 51 (3):364-380.
    In 1952, Waldemar Gurian, founding editor of The Review of Politics, commissioned Eric Voegelin, then a professor of political science at Louisiana State University, to review Hannah Arendt’s recently published The Origins of Totalitarianism . She was given the right to reply; Voegelin would furnish a concluding note. Preceding this dialogue, Voegelin wrote a letter to Arendt anticipating aspects of his review; she responded in kind. Arendt’s letter to Voegelin on totalitarianism, written in German, has never appeared in print before. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  57
    A Light-Fronts Approach to a Two-Center Time-Dependent Dirac Equation.Bilha Segev & J. C. Wells - 2001 - Foundations of Physics 31 (6):993-1015.
    The two center time dependent Dirac equation, for an electron in the external field of two colliding ultrarelativistic heavy ions is considered. In the ultrarelativistic limit, the ions are practically moving at the speed of light and the electromagnetic fields of the ions are confined to the light fronts by the extreme Lorentz contraction and by the choice of gauge, designed to remove the long-range Coulomb effects. An exact solution to the ultrarelativistic limit of the two-center Dirac equation is found (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  19
    An Analysis of Knowledge and Valuation. [REVIEW]Rulon S. Wells - 1949 - Review of Metaphysics 2 (7):99-115.
    The expectation is fulfilled, but in an unexpected way. 'The first studies toward this book were addressed to topics in the field of ethics' ; but our author, like Wagner composing 'Der Ring des Nibelungen', found himself becoming preoccupied with prolegomena. To these the present volume is wholly devoted. In order to establish its fundamental thesis that valuation is a form of empirical knowledge, two preparatory discussions are called for. An analysis of empirical knowledge in general is one of these; (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  28
    Does medical insurance type (private vs public) influence the physician's decision to perform Caesarean delivery?Tammy Z. Movsas, Eden Wells, Ann Mongoven & Violanda Grigorescu - 2012 - Journal of Medical Ethics 38 (8):470-473.
    Introduction US data reveal a Caesarean rate discrepancy between insured and uninsured patients, with the C-section rate highest among the privately insured. The data have prompted concern that financial incentives associated with insurance status might influence American physicians' decisions to perform Caesarean deliveries. Objective To determine whether differences in medical risk factors account for the apparent Caesarean rate discrepancy between Medicaid and privately insured patients in Michigan, USA. Method A retrospective review was performed of 617 269 live birth deliveries in (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Lifeness signatures and the roots of the tree of life.Christophe Malaterre - 2010 - Biology and Philosophy 25 (4):643-658.
    Do trees of life have roots? What do these roots look like? In this contribution, I argue that research on the origins of life might offer glimpses on the topology of these very roots. More specifically, I argue (1) that the roots of the tree of life go well below the level of the commonly mentioned ‘ancestral organisms’ down into the level of much simpler, minimally living entities that might be referred to as ‘protoliving systems’, and (2) that further (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  23.  18
    Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees.L. Gordeev - 1989 - Archive for Mathematical Logic 29 (1):29-46.
    We introduce the appropriate iterated version of the system of ordinal notations from [G1] whose order type is the familiar Howard ordinal. As in [G1], our ordinal notations are partly inspired by the ideas from [P] where certain crucial properties of the traditional Munich' ordinal notations are isolated and used in the cut-elimination proofs. As compared to the corresponding “impredicative” Munich' ordinal notations (see e.g. [B1, B2, J, Sch1, Sch2, BSch]), our ordinal notations arearbitrary terms in the appropriate simple term (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  48
    Plant succession and tree architecture: An attempt at reconciling two scales of analysis of vegetation dynamics.Jeanne Millet, André Bouchard & Claude Édelin - 1998 - Acta Biotheoretica 46 (1):1-22.
    Plant succession is a phenomenon ascribed to vegetation dynamics at the scale of the plant community. The study of plant succession implies the analysis of the species involved and their relationships. Depending on the research done, the characteristics of trees have been studied according to either static, dimensional or partial approaches. We have revised the principal theories of succession, the methods of describing structure and development of tree and relationship established between tree species' attributes and their successional status. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  41
    Sex differences in attention to disgust facial expressions.Morganne A. Kraines, Lucas J. A. Kelberer & Tony T. Wells - 2017 - Cognition and Emotion 31 (8):1692-1697.
    Research demonstrates that women experience disgust more readily and with more intensity than men. The experience of disgust is associated with increased attention to disgust-related stimuli, but no prior study has examined sex differences in attention to disgust facial expressions. We hypothesised that women, compared to men, would demonstrate increased attention to disgust facial expressions. Participants completed an eye tracking task to measure visual attention to emotional facial expressions. Results indicated that women spent more time attending to disgust facial expressions (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  4
    A Causation Analysis of Chinese Subway Construction Accidents Based on Fault Tree Analysis-Bayesian Network.Zijun Qie & Huijiao Yan - 2022 - Frontiers in Psychology 13.
    Clarifying the causes of subway construction accidents has an important impact on reducing the probability of accidents and protecting workers’ lives and public property to a greater extent. A total of 138 investigation records of subway construction accidents from 2000 to 2020 were collected in this study. Based on a systemic analysis of 29 well-known accident causation models and the formative process of the subway construction accidents, we extracted the causative factors of subway construction accidents from the collected records. Furthermore, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  15
    The Fructification of the Tale of a Tree: The Pātrij ātaharaṇa in the Harivaṃśa and Its Appendices.Christopher Austin - 2013 - Journal of the American Oriental Society 133 (2):249.
    This paper begins and ends with the observation that the Pārijātaharaṇa or theft of the magical Pārijāta tree appears to be the only scene from the adult biography of Kṛṣṇa to have enjoyed a popularity comparable to the scenes of his childhood and youth. Inquiring why this might be the case, the article treats the oldest source of the episode, namely the Critical Edition text of the Harivaṃśa, and its elaboration in two Harivaṃśa appendices. Two thematic elements characterize 29 (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  27
    A simple geometrical pattern for the branching distribution of the bronchial tree, useful to estimate optimality departures.Mauricio Canals, Francisco F. Novoa & Mario Rosenmann - 2004 - Acta Biotheoretica 52 (1):1-16.
    The design of the bronchial tree has largely been proposed as a model of optimal design from a physical-functional perspective. However, the distributive function of the airway may be more related to a geometrical than a physical problem. The bronchial tree must distribute a three dimensional volume of inspired air on a two dimensional alveolar surface, included in a limited volume. It is thus valid to ask whether an optimal bronchial tree from a physical perspective is also (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  18
    Santayana and Buddhism: The Choice between the Cross and the Bo Tree.Paul Grimley Kuntz - 2000 - Buddhist-Christian Studies 20 (1):151-165.
    In lieu of an abstract, here is a brief excerpt of the content:Buddhist-Christian Studies 20 (2000) 151-165 [Access article in PDF] Santayana and Buddhism: The Choice between the Cross and the Bo Tree Paul Grimley KuntzEmory UniversitySantayana honors Gotama Buddha as a profound religious genius as well as an original philosopher. Gotama's way is genuine spiritual wisdom, and constantly compared with Christian mysticism as a way of enlightenment. It is therefore understandable that a Spaniard, who learned his catechism in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30. Well Founding Grounding Grounding.Gabriel Oak Rabin & Brian Rabern - 2016 - Journal of Philosophical Logic 45 (4):349-379.
    Those who wish to claim that all facts about grounding are themselves grounded (“the meta-grounding thesis”) must defend against the charge that such a claim leads to infinite regress and violates the well-foundedness of ground. In this paper, we defend. First, we explore three distinct but related notions of “well-founded”, which are often conflated, and three corresponding notions of infinite regress. We explore the entailment relations between these notions. We conclude that the meta-grounding thesis need not lead to tension with (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   61 citations  
  31.  23
    'We at least had our Ancient Trees': The Development of Myth and Identity in Nineteenth Century American Painting.Justin J. Morris - 2010 - Constellations (University of Alberta Student Journal) 1 (2).
    Modern history has looked on the United States of America as a country with a very distinct and proud national heritage and identity, though this was not always so. When founded in 1776, America was a nation that had not yet developed the identity and customs that would soon come to define the country nationally and internationally. The articulation of this distinct identity fell to the artist class and, in particular, first and second generation American painters. Painters such as Thomas (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  5
    ‘We at least had our Ancient Trees’: The Development of Myth and Identity in Nineteenth Century American Painting.Justin J. Morris - 2010 - Constellations (University of Alberta Student Journal) 1 (2).
    Modern history has looked on the United States of America as a country with a very distinct and proud national heritage and identity, though this was not always so. When founded in 1776, America was a nation that had not yet developed the identity and customs that would soon come to define the country nationally and internationally. The articulation of this distinct identity fell to the artist class and, in particular, first and second generation American painters. Painters such as Thomas (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  41
    Well Founded Belief: New Essays on the Epistemic Basing Relation.Joseph Adam Carter & Patrick Bondy (eds.) - 2019 - New York: Routledge.
    Epistemological theories of knowledge and justification draw a crucial distinction between one's simply havinggood reasons for some belief, and one's actually basingone's belief on good reasons. While the most natural kind of account of basing is causal in nature--a belief is based on a reason if and only if the belief is properly caused by the reason--there is hardly any widely-accepted, counterexample-free account of the basing relation among contemporary epistemologists. Further inquiry into the nature of the basing relation is therefore (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  34. Well-Founded Belief and the Contingencies of Epistemic Location.Guy Axtell - 2020 - In Patrick Bondy & J. Adam Carter (eds.), Well Founded Belief: New Essays on the Epistemic Basing Relation. London: Routledge. pp. 275-304.
    A growing number of philosophers are concerned with the epistemic status of culturally nurtured beliefs, beliefs found especially in domains of morals, politics, philosophy, and religion. Plausibly, worries about the deep impact of cultural contingencies on beliefs in these domains of controversial views is a question about well-foundedness: Does it defeat well-foundedness if the agent is rationally convinced that she would take her own reasons for belief as insufficiently well-founded, or would take her own belief as biased, had she been (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  25
    Non-Well-founded Sets.J. L. Bell - 1989 - Journal of Symbolic Logic 54 (3):1111-1112.
    Direct download  
     
    Export citation  
     
    Bookmark   48 citations  
  36. A Well-Founded Solution to the Generality Problem.Juan Comesaña - 2006 - Philosophical Studies 129 (1):27-47.
  37. Well-Founded Belief: An Introduction.J. Adam Carter & Patrick Bondy - 2019 - In J. Adam Carter & Patrick Bondy (eds.), Well-Founded Belief: New Essays on the Epistemic Basing Relation. Routledge.
    This is the Editor's Introduction to "Well-Founded Belief: New Essays on the Epistemic Basing Relation" (Routledge, 2020).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  10
    Non-well-founded proofs for the Grzegorczyk modal logic.Yury Savateev & Daniyar Shamkanov - forthcoming - Review of Symbolic Logic:1-29.
    We present a sequent calculus for the Grzegorczyk modal logic $\mathsf {Grz}$ allowing cyclic and other non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs. As an application, we establish the Lyndon interpolation property for the logic $\mathsf {Grz}$ proof-theoretically.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  18
    Non–well-founded derivations in the gödel-löb provability logic.Daniyar Shamkanov - 2020 - Review of Symbolic Logic 13 (4):776-796.
    We consider Hilbert-style non–well-founded derivations in the Gödel-Löb provability logic GL and establish that GL with the obtained derivability relation is globally complete for algebraic and neighbourhood semantics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  50
    Well-founded semantics for defeasible logic.Frederick Maier & Donald Nute - 2010 - Synthese 176 (2):243 - 274.
    Fixpoint semantics are provided for ambiguity blocking and propagating variants of Nute's defeasible logic. The semantics are based upon the well-founded semantics for logic programs. It is shown that the logics are sound with respect to their counterpart semantics and complete for locally finite theories. Unlike some other nonmonotonic reasoning formalisms such as Reiter's default logic, the two defeasible logics are directly skeptical and so reject floating conclusions. For defeasible theories with transitive priorities on defeasible rules, the logics are shown (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41. Well-Founded Semantics, Generalized.Melvin C. Fitting - unknown
    Classical fixpoint semantics for logic programs is based on the TP immediate consequence operator. The Kripke/Kleene, three-valued, semantics uses ΦP, which extends TP to Kleene’s strong three-valued logic. Both these approaches generalize to cover logic programming systems based on a wide class of logics, provided only that the underlying structure be that of a bilattice. This was presented in earlier papers. Recently well-founded semantics has become influential for classical logic programs. We show how the well-founded approach also extends naturally to (...)
     
    Export citation  
     
    Bookmark   3 citations  
  42.  31
    Well-Founded Belief and Perceptual Justification.Fernando Broncano-Berrocal - 2016 - Proceedings of the Aristotelian Society 116 (3):367-377.
    According to Alan Millar, justified beliefs are well-founded beliefs. Millar cashes out the notion of well-foundedness in terms of having an adequate reason to believe something and believing it for that reason. To make his account of justified belief compatible with perceptual justification he appeals to the notion of recognitional ability. It is argued that, due to the fact that Millar’s is a knowledge-first view, his appeal to recognitional abilities fails to offer an explanatory account of familiar cases in the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  21
    Non‐well‐founded extensions of documentclass{article}usepackage{amssymb}begin{document}pagestyle{empty}$mathbf {V}$end{document}.William R. Brian - 2013 - Mathematical Logic Quarterly 59 (3):167-176.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  64
    Non-well-founded sets via revision rules.Gian Aldo Antonelli - 1994 - Journal of Philosophical Logic 23 (6):633 - 679.
  45.  7
    Recursive well-founded orderings.Keh-Hsun Chen - 1978 - Annals of Mathematical Logic 13 (2):117-147.
  46. Well- and non-well-founded Fregean extensions.Ignacio Jané & Gabriel Uzquiano - 2004 - Journal of Philosophical Logic 33 (5):437-465.
    George Boolos has described an interpretation of a fragment of ZFC in a consistent second-order theory whose only axiom is a modification of Frege's inconsistent Axiom V. We build on Boolos's interpretation and study the models of a variety of such theories obtained by amending Axiom V in the spirit of a limitation of size principle. After providing a complete structural description of all well-founded models, we turn to the non-well-founded ones. We show how to build models in which foundation (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  47. Is there a well-founded solution to the generality problem?Jonathan D. Matheson - 2015 - Philosophical Studies 172 (2):459-468.
    The generality problem is perhaps the most notorious problem for process reliabilism. Several recent responses to the generality problem have claimed that the problem has been unfairly leveled against reliabilists. In particular, these responses have claimed that the generality problem is either (i) just as much of a problem for evidentialists, or (ii) if it is not, then a parallel solution is available to reliabilists. Along these lines, Juan Comesaña has recently proposed solution to the generality problem—well-founded reliabilism. According to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  48. Well-Founded Hope.Hendrikus Berkhof - 1969
    No categories
     
    Export citation  
     
    Bookmark  
  49. Well-Founded Hope.S. Paul Schilling - 1969
    No categories
     
    Export citation  
     
    Bookmark  
  50.  7
    Σ1-well-founded compactness.Nigel Cutland & Matt Kauffmann - 1980 - Annals of Mathematical Logic 18 (3):271-296.
1 — 50 / 1000