Results for ' trees'

995 found
Order:
  1.  34
    Pronouncing “the” as “thee” to signal problems in speaking.Jean E. Fox Tree & Herbert H. Clark - 1997 - Cognition 62 (2):151-167.
  2.  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  
  3.  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  
  4.  8
    Recognizing Verbal Irony in Spontaneous Speech.Gregory A. Bryant & Jean E. Fox Tree - 2002 - Metaphor and Symbol 17 (2):99-119.
    We explored the differential impact of auditory information and written contextual information on the recognition of verbal irony in spontaneous speech. Based on relevance theory, we predicted that speakers would provide acoustic disambiguation cues when speaking in situations that lack other sources of information, such as a visual channel. We further predicted that listeners would use this information, in addition to context, when interpreting the utterances. People were presented with spontaneously produced ironic and nonironic utterances from radio talk shows in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  5.  43
    Using uh and um in spontaneous speaking.Herbert H. Clark & Jean E. Fox Tree - 2002 - Cognition 84 (1):73-111.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  6.  56
    Experiential learning of empathy in a care-ethics lab.Linus Vanlaere, Trees Coucke & Chris Gastmans - 2010 - Nursing Ethics 17 (3):325-336.
    To generate empathy in the care of vulnerable older persons requires care providers to reflect critically on their care practices. Ethics education and training must provide them with tools to accomplish such critical reflection. It must also create a pedagogical context in which good care can be taught and cultivated. The care-ethics lab ‘sTimul’ originated in 2008 in Flanders with the stimulation of ethical reflection in care providers and care providers in training as its main goal. Also in 2008, sTimul (...)
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  7. Recognition memory in developmental prosopagnosia: electrophysiological evidence for abnormal routes to face recognition.Edwin J. Burns, Jeremy J. Tree & Christoph T. Weidemann - 2014 - Frontiers in Human Neuroscience 8.
  8.  24
    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  
  9.  29
    Computational modeling of reading in semantic dementia: Comment on Woollams, Lambon Ralph, Plaut, and Patterson (2007).Max Coltheart, Jeremy J. Tree & Steven J. Saunders - 2010 - Psychological Review 117 (1):256-271.
  10.  18
    Postscript: Reading in semantic dementia—A response to Woollams, Lambon Ralph, Plaut, and Patterson (2010).Max Coltheart, Jeremy J. Tree & Steven J. Saunders - 2010 - Psychological Review 117 (1):271-272.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  11.  24
    Listeners’ comprehension of uptalk in spontaneous speech.John M. Tomlinson & Jean E. Fox Tree - 2011 - Cognition 119 (1):58-69.
  12.  20
    The Chinese supervisor's perspective of receiving unsolicited subordinate helping behaviour: a theoretical analysis.Shih Yung Chou & Tree Chang - 2017 - International Journal of Management Concepts and Philosophy 10 (4):445.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  7
    Editorial: Improving Wellbeing in Patients With Chronic Conditions: Theory, Evidence, and Opportunities.Andrew H. Kemp, Jeremy Tree, Fergus Gracey & Zoe Fisher - 2022 - Frontiers in Psychology 13.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Angrilli, A., B1.S. Atran, J. N. Bailenson, I. Boutet, A. Chaudhuri, H. H. Clark, J. D. Coley & J. E. Fox Tree - 2002 - Cognition 84:363.
     
    Export citation  
     
    Bookmark   1 citation  
  15.  10
    The domain-specificity of face matching impairments in 40 cases of developmental prosopagnosia.Sarah Bate, Rachel J. Bennetts, Jeremy J. Tree, Amanda Adams & Ebony Murray - 2019 - Cognition 192:104031.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  22
    Protectors of Wellbeing During the COVID-19 Pandemic: Key Roles for Gratitude and Tragic Optimism in a UK-Based Cohort.Jessica P. Mead, Zoe Fisher, Jeremy J. Tree, Paul T. P. Wong & Andrew H. Kemp - 2021 - Frontiers in Psychology 12.
    The COVID-19 pandemic has presented a global threat to physical and mental health worldwide. Research has highlighted adverse impacts of COVID-19 on wellbeing but has yet to offer insights as to how wellbeing may be protected. Inspired by developments in wellbeing science and guided by our own theoretical framework, we examined the role of various potentially protective factors in a sample of 138 participants from the United Kingdom. Protective factors included physical activity, tragic optimism, gratitude, social support, and nature connectedness. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  33
    Appropriate computer-mediated communication: An Australian indigenous information system case study. [REVIEW]Andrew Turk & Kathryn Trees - 1999 - AI and Society 13 (4):377-388.
    This article discusses ways to operationalise the concept of culturally appropriate computer-mediated communication, utilising information systems (IS) development methodologies and adopting a postmodern and postcolonial perspective. By way of illustration, it describes progress on the participative development of the Ieramugadu Cultural Information System. This project is designed to develop and evaluate innovative procedures for elicitation, analysis, storage and communication of indigenous cultural heritage information. It is investigating culturally appropriate IS design techniques, multimedia approaches and ways to ensure protection of secret/sacred (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  10
    Care‐givers’ reflections on an ethics education immersive simulation care experience: A series of epiphanous events.Ann Gallagher, Matthew Peacock, Magdalena Zasada, Trees Coucke, Anna Cox & Nele Janssens - 2017 - Nursing Inquiry 24 (3):e12174.
    There has been little previous scholarship regarding the aims, options and impact of ethics education on residential care‐givers. This manuscript details findings from a pragmatic cluster trial evaluating the impact of three different approaches to ethics education. The focus of the article is on one of the interventions, an immersive simulation experience. The simulation experience required residential care‐givers to assume the profile of elderly care‐recipients for a 24‐hr period. The care‐givers were student nurses. The project was reviewed favourably by a (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  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  
  20.  52
    The man who mistook his neuropsychologist for a popstar: when configural processing fails in acquired prosopagnosia.Ashok Jansari, Scott Miller, Laura Pearce, Stephanie Cobb, Noam Sagiv, Adrian L. Williams, Jeremy J. Tree & J. Richard Hanley - 2015 - Frontiers in Human Neuroscience 9.
  21.  16
    Trees of life: a visual history of evolution.Theodore W. Pietsch - 2012 - Baltimore: Johns Hopkins University Press.
    Brackets and tables, circles and maps, 1554-1872 -- Early botanical networks and trees, 1766-1815 -- The first evolutionary tree, 1786-1820 -- Diverse and unusual trees of the early nineteenth century, 1817-1834 -- The rule of five, 1819-1854 -- Pre-Darwinian branching diagrams, 1828-1858 -- Evolution and the trees of Charles Darwin, 1837-1868 -- The trees of Ernst Haeckel, 1866-1905 -- Post-Darwinian nonconformists, 1868-1896 -- More late-nineteenth-century trees, 1874-1897 -- Trees of the early twentieth century, 1901-1930 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  22.  4
    A tree of life: diversity, flexibility, and creativity in Jewish law.Louis Jacobs - 2000 - Portland, Ore.: Littman Library of Jewish Civilization.
    This study of the Jewish legal system (the Halakhah) demonstrates that the law embraces every corner of life.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  30
    Aronszajn trees and failure of the singular cardinal hypothesis.Itay Neeman - 2009 - Journal of Mathematical Logic 9 (1):139-157.
    The tree property at κ+ states that there are no Aronszajn trees on κ+, or, equivalently, that every κ+ tree has a cofinal branch. For singular strong limit cardinals κ, there is tension between the tree property at κ+ and failure of the singular cardinal hypothesis at κ; the former is typically the result of the presence of strongly compact cardinals in the background, and the latter is impossible above strongly compacts. In this paper, we reconcile the two. We (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  24.  15
    Phyloreferences: Tree-Native, Reproducible, and Machine-Interpretable Taxon Concepts.Nico Cellinese, Stijn Conix & Hilmar Lapp - 2022 - Philosophy, Theory, and Practice in Biology 14 (8).
    Evolutionary and organismal biology have become inundated with data. At the same rate, we are experiencing a surge in broader evolutionary and ecological syntheses for which tree-thinking is the staple for a variety of post-tree analyses. To fully take advantage of this wealth of data to discover and understand large-scale evolutionary and ecological patterns, computational data integration, i.e., the use of machines to link data at large scale, is crucial. The most common shared entity by which evolutionary and ecological data (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  31
    Aronszajn trees on ℵ2 and ℵ3.Uri Abraham - 1983 - Annals of Mathematical Logic 24 (3):213-230.
    Assuming the existence of a supercompact cardinal and a weakly compact cardinal above it, we provide a generic extension where there are no Aronszajn trees of height ω 2 or ω 3 . On the other hand we show that some large cardinal assumptions are necessary for such a consistency result.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  26. Tree-ring semantics.Brian Rabern - manuscript
    Our aim here is to lay the groundwork for formal tree-ring analysis combining data from dendrochronology with formal techniques from semantics. We will present the basic syntax of, and basic compositional semantics of tree-ring structures.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Action Trees and Moral Judgment.Joshua Knobe - 2010 - Topics in Cognitive Science 2 (3):555-578.
    It has sometimes been suggested that people represent the structure of action in terms of an action tree. A question now arises about the relationship between this action tree representation and people’s moral judgments. A natural hypothesis would be that people first construct a representation of the action tree and then go on to use this representation in making moral judgments. The present paper argues for a more complex view. Specifically, the paper reports a series of experimental studies that appear (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  28.  42
    Aronszajn trees and the successors of a singular cardinal.Spencer Unger - 2013 - Archive for Mathematical Logic 52 (5-6):483-496.
    From large cardinals we obtain the consistency of the existence of a singular cardinal κ of cofinality ω at which the Singular Cardinals Hypothesis fails, there is a bad scale at κ and κ ++ has the tree property. In particular this model has no special κ +-trees.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  29.  18
    Tree‐Huggers Versus Human‐Lovers: Anthropomorphism and Dehumanization Predict Valuing Nature Over Outgroups.Joshua Rottman, Charlie R. Crimston & Stylianos Syropoulos - 2021 - Cognitive Science 45 (4):e12967.
    Previous examinations of the scope of moral concern have focused on aggregate attributions of moral worth. However, because trade‐offs exist in valuing different kinds of entities, tabulating total amounts of moral expansiveness may conceal significant individual differences in the relative proportions of moral valuation ascribed to various entities. We hypothesized that some individuals (“tree‐huggers”) would ascribe greater moral worth to animals and ecosystems than to humans from marginalized or stigmatized groups, while others (“human‐lovers”) would ascribe greater moral worth to outgroup (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  30. The tree of knowledge:The biological roots of human understanding.Humberto R. Maturana & Francisco J. Varela - 1992 - Cognition.
    "Knowing how we know" is the subject of this book. Its authors present a new view of cognition that has important social and ethical implications, for, they assert, the only world we humans can have is the one we create together through the actions of our coexistence. Written for a general audience as well as for students, scholars, and scientists and abundantly illustrated with examples from biology, linguistics, and new social and cultural phenomena, this revised edition includes a new afterword (...)
     
    Export citation  
     
    Bookmark   376 citations  
  31. Tree ordination in Thailand.Susan M. Darlington - 2000 - In Stephanie Kaza & Kenneth Kraft (eds.), Dharma rain: sources of Buddhist environmentalism. Boston, Mass.: Shambhala Publications. pp. 198--205.
    No categories
     
    Export citation  
     
    Bookmark  
  32.  15
    Tree clustering for constraint networks.Rina Dechter & Judea Pearl - 1989 - Artificial Intelligence 38 (3):353-366.
  33.  29
    Kurepa trees and Namba forcing.Bernhard König & Yasuo Yoshinobu - 2012 - Journal of Symbolic Logic 77 (4):1281-1290.
    We show that strongly compact cardinals and MM are sensitive to $\lambda$-closed forcings for arbitrarily large $\lambda$. This is done by adding ‘regressive' $\lambda$-Kurepa trees in either case. We argue that the destruction of regressive Kurepa trees requires a non-standard application of MM. As a corollary, we find a consistent example of an $\omega_2$-closed poset that is not forcing equivalent to any $\omega_2$-directed-closed poset.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  34. Should Trees Have Standing?: Law, Morality, and the Environment.Christopher D. Stone - 2010 - Oup Usa.
    Originally published in 1972, Should Trees Have Standing? was a rallying point for the then burgeoning environmental movement, launching a worldwide debate on the basic nature of legal rights that reached the U.S. Supreme Court. Now, in the 35th anniversary edition of this remarkably influential book, Christopher D. Stone updates his original thesis and explores the impact his ideas have had on the courts, the academy, and society as a whole. At the heart of the book is an eminently (...)
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  35.  6
    The Tree of Commonwealth: A Treatise.D. M. Brodie (ed.) - 2014 - Cambridge University Press.
    Originally published in 1948, this book contains an edited version of The Tree of Commonwealth, which was written by Edmund Dudley while imprisoned in the Tower of London in 1509 prior to his execution for treason the following year. Brodie notes any variations between manuscripts and provides a brief biography of Dudley and the impact of his famous text on later monarchs. This book will be of value to anyone with an interest in Tudor history or the history of English (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. Tree formulations of tense logic.Jack Copeland - manuscript
    The tense tree method extends Jeffrey’s well-known formulation of classical propositional logic to tense logic (Jeffrey 1991).1 Tense trees combine pure tense logic with features of Prior’s U-calculi (where ‘U’ is the earlier-than relation; see Prior 1967 and the Introduction to this volume). The tree method has a number of virtues: trees are well suited to computational applications; semantically, the tree systems presented here are no less illuminating than model theory; the metatheory associated with tree formulations is often (...)
     
    Export citation  
     
    Bookmark  
  37.  4
    Singing Trees. Note su Tōru Takemitsu.Pier Cilione Alberto - 2022 - Rivista di Estetica 80:96-114.
    The article examines the relationship between Western and Eastern aesthetics, analyzing some aspects of the musical production of Tōru Takemitsu, the great Japanese composer, now firmly included in the contemporary music “Western Canon”. The article tries to demonstrate that contemporary music represents an ideal field for verifying the intersection between Western and Eastern aesthetics. It is precisely the paradoxical co-belonging of Takemitsu’s musical thought to both worlds, which encourages us to reconsider our way of understanding the aesthetic “distance” between East (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  10
    Modal Tree‐Sequents.Claudio Cerrato - 1996 - Mathematical Logic Quarterly 42 (1):197-210.
    We develop cut-free calculi of sequents for normal modal logics by using treesequents, which are trees of sequences of formulas. We introduce modal operators corresponding to the ways we move formulas along the branches of such trees, only considering fixed distance movements. Finally, we exhibit syntactic cut-elimination theorems for all the main normal modal logics.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  61
    The tree property at successors of singular cardinals.Menachem Magidor & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):385-404.
    Assuming some large cardinals, a model of ZFC is obtained in which $\aleph_{\omega+1}$ carries no Aronszajn trees. It is also shown that if $\lambda$ is a singular limit of strongly compact cardinals, then $\lambda^+$ carries no Aronszajn trees.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  40.  41
    The Tree-­reading of the Tractatus logico-­philosophicus and the recent Debate on it.Luciano Bazzocchi - 2021 - Rivista di Storia Della Filosofia 2:319-343.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  2
    Trees: National Champions.Barbara Bosworth & Roger Conover - 2005 - MIT Press.
    Hauntingly beautiful photographs of 70 "champion" trees—each the biggest of its species—in a book that offers a dignified portrait of the American landscape and its true environmental heroes.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  86
    Peach trees, gravity and God: Mechanism in Locke.Marleen Rozemond & Gideon Yaffe - 2004 - British Journal for the History of Philosophy 12 (3):387 – 412.
    Locke claimed that God superadded various powers to matter, including motion, the perfections of peach trees and elephants, gravity, and that he could superadd thought. Various interpreters have discussed the question whether Locke's claims about superaddition are in tension with his commitment to mechanistic explanation. This literature assumes that for Locke mechanistic explanation involves deducibility. We argue that this is an inaccurate interpretation and that mechanistic explanation involves a different type of intelligibility for Locke.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  43.  29
    Trees and spaces as emotion and norm laden components of local ecosystems in Nyamaropa communal land, Nyanga District, Zimbabwe.Alois Mandondo - 1997 - Agriculture and Human Values 14 (4):353-372.
    This study explored local controls relating to trees and spacesof the local environment in Nyamaropa Communal Lands in theNyanga District of eastern Zimbabwe. Controls were consideredin a broad and inclusive framework encompassing codified rules,taboos, and, regulatory norms and emotions. Special emphasis waslaid on people‘s emotional and ethical investment in the abovecomponents of the environment – trees and spaces. The studyemployed intensive informal and group interviews. Results showthat there is tremendous emotional and ethical investment intrees and spaces of the (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  15
    Strong tree properties for small cardinals.Laura Fontanella - 2013 - Journal of Symbolic Logic 78 (1):317-333.
    An inaccessible cardinal $\kappa$ is supercompact when $(\kappa, \lambda)$-ITP holds for all $\lambda\geq \kappa$. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC where for every $n\geq 2$ and $\mu\geq \aleph_n$, we have $(\aleph_n, \mu)$-ITP.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  45. Around the Tree: Semantic and Metaphysical Issues Concerning Branching and the Open Future.Fabrice Correia & Andrea Iacona (eds.) - 2013 - Dordrecht, Netherland: Springer.
    Over the past few years, the tree model of time has been widely employed to deal with issues concerning the semantics of tensed discourse. The thought that has motivated its adoption is that the most plausible way to make sense of indeterminism is to conceive of future possibilities as branches that depart from a common trunk, constituted by the past and the present. However, the thought still needs to be further articulated and defended, and several important questions remain open, such (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  46.  35
    Finite Tree Property for First-Order Logic with Identity and Functions.Merrie Bergmann - 2005 - Notre Dame Journal of Formal Logic 46 (2):173-180.
    The typical rules for truth-trees for first-order logic without functions can fail to generate finite branches for formulas that have finite models–the rule set fails to have the finite tree property. In 1984 Boolos showed that a new rule set proposed by Burgess does have this property. In this paper we address a similar problem with the typical rule set for first-order logic with identity and functions, proposing a new rule set that does have the finite tree property.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  57
    The tree property and the failure of SCH at uncountable cofinality.Dima Sinapova - 2012 - Archive for Mathematical Logic 51 (5-6):553-562.
    Given a regular cardinal λ and λ many supercompact cardinals, we describe a type of forcing such that in the generic extension there is a cardinal κ with cofinality λ, the Singular Cardinal Hypothesis at κ fails, and the tree property holds at κ+.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  18
    The tree of life describes a tripartite cellular world.Arshan Nasir, Fizza Mughal & Gustavo Caetano-Anollés - 2021 - Bioessays 43 (6):2000343.
    The canonical view of a 3‐domain (3D) tree of life was recently challenged by the discovery of Asgardarchaeota encoding eukaryote signature proteins (ESPs), which were treated as missing links of a 2‐domain (2D) tree. Here we revisit the debate. We discuss methodological limitations of building trees with alignment‐dependent approaches, which often fail to satisfactorily address the problem of ‘‘gaps.’’ In addition, most phylogenies are reconstructed unrooted, neglecting the power of direct rooting methods. Alignment‐free methodologies lift most difficulties but require (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  97
    Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees.Ruaan Kellerman & Valentin Goranko - 2021 - Journal of Symbolic Logic 86 (3):1035-1065.
    We study the first-order theories of some natural and important classes of coloured trees, including the four classes of trees whose paths have the order type respectively of the natural numbers, the integers, the rationals, and the reals. We develop a technique for approximating a tree as a suitably coloured linear order. We then present the first-order theories of certain classes of coloured linear orders and use them, along with the approximating technique, to establish complete axiomatisations of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  18
    Tree-like constructions in topology and modal logic.G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan & J. Van Mill - 2020 - Archive for Mathematical Logic 60 (3):265-299.
    Within ZFC, we develop a general technique to topologize trees that provides a uniform approach to topological completeness results in modal logic with respect to zero-dimensional Hausdorff spaces. Embeddings of these spaces into well-known extremally disconnected spaces then gives new completeness results for logics extending S4.2.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 995