Results for 'Charles X. Ling'

995 found
Order:
  1.  25
    A Symbolic Model of the Nonconscious Acquisition of Information.Charles X. Ling & Marin Marinov - 1994 - Cognitive Science 18 (4):595-621.
    This article presents counter evidence against Smolensky's theory that human intuitive/nonconscious congnitive processes can only be accurately explained in terms of subsymbolic computations carried out in artificial neural networks. We presentsymboliclearning models of two well‐studied, complicated cognitive tasks involving nonconscious acquisition of information: learning production rules and artificial finite state grammars. Our results demonstrate that intuitive learning does not imply subsymbolic computation, and that the already well‐established, perceived correlation between “conscious” and “symbolic” on the one hand, and between “nonconscious” and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  8
    Can symbolic algorithms model cognitive development?Charles X. Ling - 1996 - In Garrison W. Cottrell (ed.), Proceedings of the Eighteenth Annual Conference of the Cognitive Science Society. Lawrence Erlbaum. pp. 18--67.
  3.  52
    Introducing new predicates to model scientific revolution.Charles X. Ling - 1995 - International Studies in the Philosophy of Science 9 (1):19 – 36.
    Abstract The notion of necessary new terms (predicates) is proposed. It is shown that necessary new predicates in first?order logic must be directly, recursively defined. I present a first?order inductive learning algorithm that introduces new necessary predicates to model scientific revolution in which a new language is adopted. I demonstrate that my learning system can learn a genetic theory with theoretical terms which, after being induced by my system, can be interpreted as either types of genetic properties (dominant or recessive) (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. Predicting irregular past tenses.Charles X. Ling - 1994 - In Ashwin Ram & Kurt Eiselt (eds.), Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society. Erlbaum. pp. 577--582.
     
    Export citation  
     
    Bookmark  
  5.  21
    Attitudes towards drug‐eluting stent use and the distribution of motivation type among interventional cardiologists.Feng Qian, Charles E. Phelps, Frederick S. Ling, Edward L. Hannan & Peter J. Veazie - 2012 - Journal of Evaluation in Clinical Practice 18 (3):528-533.
  6.  25
    Coronary stent use in New York State in the drug‐eluting stent era.Feng Qian, Edward L. Hannan, Laurent G. Glance, Charles E. Phelps, Frederick S. Ling & Peter J. Veazie - 2012 - Journal of Evaluation in Clinical Practice 18 (4):872-877.
  7.  42
    Answering the connectionist challenge: a symbolic model of learning the past tenses of English verbs.C. X. Ling & M. Marinov - 1993 - Cognition 49 (3):235-290.
    Supporters of eliminative connectionism have argued for a pattern association-based explanation of language learning and language processing. They deny that explicit rules and symbolic representations play any role in language processing and cognition in general. Their argument is based to a large extent on two artificial neural network (ANN) models that are claimed to be able to learn the past tenses of English verbs (Rumelhart & McClelland, 1986, Parallel distributed processing, Vol. 2, Cambridge, MA: MIT Press; MacWhinney & Leinbach, 1991, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  8.  23
    Teaching Knowledge Application: Advances in Theoretical Conceptions and their Professional Implications.Charles Desforges & Pam Lings - 1998 - British Journal of Educational Studies 46 (4):386-398.
    We describe and examine a view of knowledge application in schooling developed from aspects of contemporary learning theory. To situate our perspective in contemporary practice, we establish the significance of the issue of knowledge application as an educational challenge. We then review some enduring theoretical conceptions of the problem and their educational ramifications following which we introduce some developments in educational learning theory and consider their implications for teaching knowledge application.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  9
    Buddhism, Imperialism, and War.Charles Hallisey & Trevor Ling - 1981 - Journal of the American Oriental Society 101 (4):504.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  17
    Ambivalence and evaluative response amplification.Charles S. Carver, Frederick X. Gibbons, Walter G. Stephan, David C. Glass & Irwin Katz - 1979 - Bulletin of the Psychonomic Society 13 (1):50-52.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  33
    Energy dissipation in fracture of bulk metallic glasses via inherent competition between local softening and quasi-cleavage.M. Q. Jiang, Z. Ling, J. X. Meng & L. H. Dai - 2008 - Philosophical Magazine 88 (3):407-426.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  13
    Analytical Report on Papers Delivered in Two Tillich Meetings, Montréal, Canada, November 6 – 9, 2009.Rob James, F. O. X. Charles, Ronald Maclennan, Marcia Maclennan & Loye Ashton - 2011 - International Yearbook for Tillich Research 6 (1).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  32
    Conceptual Modeling - 37th International Conference, {ER} 2018, Xi'an, China, October 22-25, 2018, Proceedings.J. C. Trujillo, K. C. Davis, X. Du, Z. Li, T. W. Ling, G. Li & M. L. Lee (eds.) - 2018 - Springer.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  27
    Assessing the effects of audiovisual semantic congruency on the perception of a bistable figure.Jhih-Yun Hsiao, Yi-Chuan Chen, Charles Spence & Su-Ling Yeh - 2012 - Consciousness and Cognition 21 (2):775-787.
    Bistable figures provide a fascinating window through which to explore human visual awareness. Here we demonstrate for the first time that the semantic context provided by a background auditory soundtrack can modulate an observer’s predominant percept while watching the bistable “my wife or my mother-in-law” figure . The possibility of a response-bias account—that participants simply reported the percept that happened to be congruent with the soundtrack that they were listening to—was excluded in Experiment 2. We further demonstrate that this crossmodal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  42
    Temporal dynamics of attentional selection in adult male carriers of the fragile X premutation allele and adult controls.Ling M. Wong, Flora Tassone, Susan M. Rivera & Tony J. Simon - 2015 - Frontiers in Human Neuroscience 9.
    © 2015 Wong,Tassone,Rivera and Simon.Carriers of the fragile X premutation allele have an expanded CGG trinucleotide repeat size within the FMR1 gene and are at increased risk of developing fragile x-associated tremor/ataxia syndrome. Previous research has shown that male fXPCs with FXTAS exhibit cognitive decline, predominantly in executive functions such as inhibitory control and working memory. Recent evidence suggests fXPCs may also exhibit impairments in processing temporal information. The attentional blink task is often used to examine the dynamics of attentional (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  78
    Reading and writing Plato.Charles L. Griswold - 2008 - Philosophy and Literature 32 (1):pp. 205-216.
    In lieu of an abstract, here is a brief excerpt of the content:Reading and Writing PlatoCharles L. GriswoldThe Play of Character in Plato's Dialogues, by Ruby Blondell; 452 pp. Cambridge: Cambridge University Press, 2002, $55.00Plato's Dialectic at Play: Argument, Structure, and Myth in theSymposium, by Kevin Corrigan and Elena Glazov-Corrigan; 266 pp. University Park: Pennsylvania State University Press, 2004, $25.00Questioning Platonism: Continental Interpretations of Plato, by Drew Hyland; ix & 202 pp. Albany: State University of New York Press, 2004, $44.00The (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Origin’s Chapter IX and X: From Old Objections to Novel Explanations: Darwin on the Fossil Record.Charles H. Pence - 2023 - In Maria Elice Brzezinski Prestes (ed.), Understanding Evolution in Darwin's “Origin”: The Emerging Context of Evolutionary Thinking. Springer. pp. 321-331.
    The ninth and tenth chapters of the Origin mark a profound, if perhaps difficult to detect, shift in the book’s argumentative structure. In the previous few chapters and in the ninth, Darwin has been exploring a variety of objections to natural selection, some more obvious (where are all the fossils of transitional forms?) and some showing careful attention to challenging consequences of evolution (could selection really produce instincts?). Starting in the tenth, however, Darwin turns to showing us what kinds of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  16
    The real Metaphysical Club: the philosophers, their debates, and selected writings from 1870 to 1885.Frank X. Ryan, Brian E. Butler, James A. Good & John R. Shook (eds.) - 2019 - Albany: SUNY Press, State University of New York.
    The Metaphysical Club, a gathering of intellectuals in the 1870s associated with Harvard, is widely recognized as the crucible where pragmatism, America's distinctively original philosophy, was refined and proclaimed. Louis Menand's bestseller about the group was a dramatic publishing success. However, only three actual members - Oliver Wendell Holmes Jr., Charles S. Peirce, and William James - appear in this book, alongside other thinkers such as John Dewey who were never in the Club. The Real Metaphysical Club tells the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. X*—Mathematical Intuition.Charles Parsons - 1980 - Proceedings of the Aristotelian Society 80 (1):145-168.
    Charles Parsons; X*—Mathematical Intuition, Proceedings of the Aristotelian Society, Volume 80, Issue 1, 1 June 1980, Pages 145–168, https://doi.org/10.1093/ari.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   56 citations  
  20.  16
    X*—The Validity of Transcendental Arguments.Charles Taylor - 1979 - Proceedings of the Aristotelian Society 79 (1):151-166.
    Charles Taylor; X*—The Validity of Transcendental Arguments, Proceedings of the Aristotelian Society, Volume 79, Issue 1, 1 June 1979, Pages 151–166, https://do.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   47 citations  
  21.  4
    The X of Psychology.Charles A. Baylis & Phillips Mason - 1941 - Philosophical Review 50 (3):321.
  22.  8
    Commentaria in II librum posteriorum analyticorum Aristotelis.Charles H. Eustratius, Andreas Aristotle, Lohr & Gratiolus - 2001 - Stuttgart-Bad Cannstatt: Frommann-Holzboog. Edited by Andreas Gratiolus & Charles H. Lohr.
    Im 12. Jahrhundert ging in Byzanz eine bemerkenswerte Blute des Aristotelismus von einem philosophischen Zirkel aus, den die vom politischen Leben ausgeschlossene Kaisertochter Anna Komnene unterhielt. Eustratios von Nikaia und Michael von Ephesos arbeiteten zusammen an einem Kommentar zur Nikomachischen Ethik im Auftrage Annas. Eustratios kommentierte die Bucher I und VI, Michael von Ephesos die Bucher V, IX und X. Ausserdem liegen von Michael mehrere Kommentare zur Naturphilosophie des Aristoteles vor, wahrend wir von Eustratios den hier wiedergegebenen Kommentar zu Buch (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Susanna Siegel, The contents of visual experience: Oxford University Press, 2010, 222 + x pp.Charles Travis - 2013 - Philosophical Studies 163 (3):837-846.
  24.  45
    Book Review Section 2. [REVIEW]Henrietta Schwartz, Ronald D. Cohen, James J. Shields Jr, Mazoor Ahmed, Albert E. Bender, Paul J. Schafer, Charles S. Ungerleider, Andrew T. Kopan, Joseph Watras, George A. Letchworth, Ronald M. Brown, John H. Walker, Ralph B. Kimbrough, C. O. X. Roy L. & Raymond Martin - unknown
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Suspicious conspiracy theories.M. R. X. Dentith - 2022 - Synthese 200 (3):1-14.
    Conspiracy theories and conspiracy theorists have been accused of a great many sins, but are the conspiracy theories conspiracy theorists believe epistemically problematic? Well, according to some recent work, yes, they are. Yet a number of other philosophers like Brian L. Keeley, Charles Pigden, Kurtis Hagen, Lee Basham, and the like have argued ‘No!’ I will argue that there are features of certain conspiracy theories which license suspicion of such theories. I will also argue that these features only license (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  26.  5
    Mrs. X and the Bone Marrow Transplant.Charles W. Lidz, Alan Meisel, Loren H. Roth, Arthur Caplan, David Zimmerman & C. L. - 1983 - IRB: Ethics & Human Research 5 (4):6.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Aristotle on well-being and intellectual contemplation: David Charles.David Charles - 1999 - Aristotelian Society Supplementary Volume 73 (1):205–223.
    [David Charles] Aristotle, it appears, sometimes identifies well-being with one activity, sometimes with several, including ethical virtue. I argue that this appearance is misleading. In the Nicomachean Ethics, intellectual contemplation is the central case of human well-being, but is not identical with it. Ethically virtuous activity is included in human well-being because it is an analogue of intellectual contemplation. This structure allows Aristotle to hold that while ethically virtuous activity is valuable in its own right, the best life available (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  28. The Validity of Transcendental Arguments.Charles Taylor - 1979 - Proceedings of the Aristotelian Society 79:151 - 165.
    Charles Taylor; X*—The Validity of Transcendental Arguments, Proceedings of the Aristotelian Society, Volume 79, Issue 1, 1 June 1979, Pages 151–166, https://do.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  29.  49
    War Medicine as Springboard for Early Knowledge Construction in Radiology.Charles M. Bourne & Rethy K. Chhem - 2014 - Medicine Studies 4 (1):53-70.
    Shortly after X-ray technology was discovered, it was utilized in war medicine. In this paper, the authors consider how the challenging context of war created fertile conditions for learning, as early radiologists were forced to find solutions to the unique problems posed during wartime. The “battlefield” became the “classroom” where radiologists constructed knowledge in X-ray instrumentation, methods, and education, as well as in medicine generally. Through an examination of two broad historical wartime examples, the authors illustrate how X-rays were used (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  30.  9
    War Medicine as Springboard for Early Knowledge Construction in Radiology.Charles M. Bourne & Rethy K. Chhem - 2014 - Medicine Studies 4 (1):53-70.
    Shortly after X-ray technology was discovered, it was utilized in war medicine. In this paper, the authors consider how the challenging context of war created fertile conditions for learning, as early radiologists were forced to find solutions to the unique problems posed during wartime. The “battlefield” became the “classroom” where radiologists constructed knowledge in X-ray instrumentation, methods, and education, as well as in medicine generally. Through an examination of two broad historical wartime examples, the authors illustrate how X-rays were used (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  42
    Aristotle on Well-Being and Intellectual Contemplation.David Charles - 1999 - Aristotelian Society Supplementary Volume 73:205-242.
    [David Charles] Aristotle, it appears, sometimes identifies well-being with one activity, sometimes with several, including ethical virtue. I argue that this appearance is misleading. In the Nicomachean Ethics, intellectual contemplation is the central case of human well-being, but is not identical with it. Ethically virtuous activity is included in human well-being because it is an analogue of intellectual contemplation. This structure allows Aristotle to hold that while ethically virtuous activity is valuable in its own right, the best life available (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  32.  15
    A Nietzschean Account of Valuing.Charles Boddicker - 2020 - Journal of Nietzsche Studies 51 (2):145-168.
    I give an account of Nietzsche's conception of valuing that builds on Paul Katsafanas's account. Katsafanas argues that an agent values x iff the agent (1) has a drive-induced positive affective orientation toward x, and (2) does not disapprove of this affective orientation. I object to condition (2), showing that Nietzsche thinks we can disapprove of our values and still count as holding them. On my view, an agent values the aim of one of their drives when the drive is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  80
    Williams’ Definition of ‘X is true’.Charles Sayward - 1970 - Analysis 30 (3):95-97.
    C. J. F, Williams proposed ‘for some p ___ states that p & p’ as a satisfactory analysis of ‘___ is true’. This paper takes issue with this claim.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  10
    Chapter X. Nyāya.Charles A. Moore & Sarvepalli Radhakrishnan - 1957 - In Charles A. Moore & Sarvepalli Radhakrishnan (eds.), A Source Book in Indian Philosophy. University of Hawaii Press. pp. 356-385.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  32
    La reconnaissance, la justice, et la vie bonne.Charles Reagan - 2013 - Études Ricoeuriennes / Ricoeur Studies 4 (2):79-89.
    Normal 0 false false false EN-US JA X-NONE Cet article traite des notions de reconnaissance, de justice, et de vie bonne, d'abord, séparément, et ensuite comme un réseau où elles se renforcent et s’impliquent. Je commence en abordant les significations de “la reconnaissance,” et en prenant comme texte de référence Parcours de la reconnaissance de Paul Ricoeur. On peut distinguer la reconnaissance au sens épistémologique, la reconnaissance de soi, la reconnaissance d’autrui sur le plan social et politique. Dans un second (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  26
    IG X 2, 1 : Prolegomena, Epilegomena.Georges Daux & Charles Edson - 1974 - Bulletin de Correspondance Hellénique 98 (1):521-552.
  37.  68
    Happy Lives and the Highest Good: an Essay on Aristotle's Nicomachean Ethics (review).Charles M. Young - 2006 - Journal of the History of Philosophy 44 (1):118-119.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Happy Lives and the Highest Good: An Essay on Aristotle’s Nicomachean EthicsCharles M. YoungGabriel Richardson Lear. Happy Lives and the Highest Good: An Essay on Aristotle’s Nicomachean Ethics. Princeton: Princeton University Press, 2004. Pp. ix + 238. Cloth, $35.00.Suppose that you and I are friends. I need a ride to the airport; you offer to take me. You might do this for any of a number of reasons: (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  15
    Incidental Findings in Magnetic Resonance Imaging (MRI) Brain Research.Charles A. Nelson - 2008 - Journal of Law, Medicine and Ethics 36 (2):315-319.
    Magnetic resonance imaging is a noninvasive imaging tool that utilizes a strong magnetic field and radio frequency waves to visualize in great detail organs, soft tissue, and bone. Unlike conventional x-rays, there is no exposure to ionizing radiation and at most field strengths the procedure is considered safe for nearly every age group. Because it is non-invasive and possesses excellent spatial resolution, the use of MRI as a research tool has increased exponentially over the past decade. Uses have ranged from (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  20
    The Emergent Metaphysics in Plato's Theory of Disorder.Sarai Robin Charles - 2006 - Lexington Books.
    The Emergent Metaphysics in Plato's Theory of Disorder presents for the first time Plato's theory of disorder as it pertains to his understanding of powerful causal forces at work within and outwith the cosmos and the soul of man. Divided into two Parts and presenting passages in both Greek and English, Plato's cosmology, the Timaeus, and his chief theological work, Laws X, are discussed in detail.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  45
    Ancient Painting Agnàs Rouveret: Histoire et imaginaire de la peinture ancienne (Ve siècle av. J.-C. – Ier siècle ap. J.-C.). (Bibliothèque des Écoles Françaises d' Athènes et de Rome, 274.) Pp. x + 577; 22 figs and 25 plates. Rome: École Française de Rome, 1989. [REVIEW]Roger Ling - 1991 - The Classical Review 41 (01):181-183.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  32
    I. A. Richmond: Trajan's Army on Trajan's Column. Pp. x + 56; 24 plates, 2 text-figures. London: The British School at Rome, 1982. Paper, £6.50 (U.K.), £8.50 (overseas). [REVIEW]R. J. Ling - 1983 - The Classical Review 33 (02):367-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  14
    I. A. Richmond: Trajan's Army on Trajan's Column. Pp. x + 56; 24 plates, 2 text-figures. London: The British School at Rome, 1982. Paper, £6.50 , £8.50. [REVIEW]R. J. Ling - 1983 - The Classical Review 33 (2):367-367.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  34
    J. Lancha: Mosaïque et culture dans l’Occident romain . . Pp. 440, 13 colour pls, 1 folding colour pl., 126 b & w pls. Rome: ‘L’Erma’ di Bretschneider, 1997. ISBN: 88-7062-952-X. [REVIEW]Roger Ling - 2000 - The Classical Review 50 (1):373-373.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  34
    Michaeli Visual Representations of the Afterlife. Six Roman and Early Byzantine Painted Tombs in Israel. Pp. x + 358, b/w & colour ills. Leiden: Alexandros Press, 2009. Cased. ISBN: 978-94-90387-01-3. [REVIEW]Roger Ling - 2012 - The Classical Review 62 (1):319-319.
  45.  36
    V. J. Bruno: Hellenistic Painting Techniques: The Evidence of the Delos Fragments. (Columbia Studies in the Classical Tradition, 11.) Pp. x + 66; 2 black and white figs., 16 colour plates, frontispiece. Leiden: Brill, 1985. fl. 42. [REVIEW]Roger Ling - 1986 - The Classical Review 36 (2):341-341.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  13
    Linguistic Behaviour, By Jonathan Bennett. New York, N.Y.: Cambridge University Press. 1976. pp. x, 292, $17.50.Charles Taylor - 1980 - Dialogue 19 (2):290-301.
  47.  44
    Linguistic Behaviour, By Jonathan Bennett. New York, N.Y.: Cambridge University Press. 1976. pp. x, 292, $17.50.Charles Taylor - 1980 - Dialogue 19 (2):290-301.
  48.  5
    Studies in philosophy and psychology.Charles Edward Garman, James Hayden Tufts, Edmund Burke Delabarre, Frank Chapman Sharp, Arthur Henry Pierce & Frederick James Eugene Woodbridge (eds.) - 1906 - Boston and New York,: Houghton, Mifflin and company.
    Studies in philosophy: I. Tufts, J.H. On moral evolution. II. Willcos, W.F. The expansion of Europe in its influence upon population. III. Woods, R.A. Democracy a new unfolding of human power. IV. Sharp, F.C. An analysis of the moral judgment. V. Woodbridge, F.J.E. The problem of consciousness. VI. Norton, E.L. The intellectual element in music. VII. Raub, W.L. Pragmatism and Kantianism. VIII. Lyman, E.W. The influence of pragmatism upon the status of theology.--Studies in psychology: IX. Delabarre, E.B. Influence of surrounding (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  23
    On linearly ordered structures of finite rank.Alf Onshuus & Charles Steinhorn - 2009 - Journal of Mathematical Logic 9 (2):201-239.
    O-minimal structures have long been thought to occupy the base of a hierarchy of ordered structures, in analogy with the role that strongly minimal structures play with respect to stable theories. This is the first in an anticipated series of papers whose aim is the development of model theory for ordered structures of rank greater than one. A class of ordered structures to which a notion of finite rank can be assigned, the decomposable structures, is introduced here. These include all (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  35
    A reduction class containing formulas with one monadic predicate and one binary function symbol.Charles E. Hughes - 1976 - Journal of Symbolic Logic 41 (1):45-49.
    A new reduction class is presented for the satisfiability problem for well-formed formulas of the first-order predicate calculus. The members of this class are closed prenex formulas of the form ∀ x∀ yC. The matrix C is in conjunctive normal form and has no disjuncts with more than three literals, in fact all but one conjunct is unary. Furthermore C contains but one predicate symbol, that being unary, and one function symbol which symbol is binary.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 995