Search results for 'Infinitary languages' (try it on Scholar)

1000+ found
Sort by:
  1. M. A. Dickmann (1975). Large Infinitary Languages: Model Theory. American Elsevier Pub. Co..score: 75.0
     
    My bibliography  
     
    Export citation  
  2. M. A. Dickmann (1970). Model Theory of Infinitary Languages. [Aarhus, Denmark,Universitet, Matematisk Institut].score: 75.0
     
    My bibliography  
     
    Export citation  
  3. Herman Ruge Jervell (1972). Herbrand and Skolem Theorems in Infinitary Languages. Oslo,Universitetet I Oslo, Matematisk Institutt.score: 75.0
     
    My bibliography  
     
    Export citation  
  4. Attila Máté (1971). Incompactness in Infinitary Languages with Respect to Boolean-Valued Interpretations. Szeged,University of Szeged Bolyai Mathematical Institute.score: 75.0
     
    My bibliography  
     
    Export citation  
  5. John Bell, Infinitary Languages.score: 60.0
    We begin with the following quotation from Karp [1964]: My interest in infinitary logic dates back to a February day in 1956 when I remarked to my thesis supervisor, Professor Leon Henkin, that a particularly vexing problem would be so simple if only I could write a formula which would say x = 0 or x = 1 or x = 2 etc. To my surprise, he replied, "Well, go ahead." Traditionally, expressions in formal systems have been regarded as (...)
     
    My bibliography  
     
    Export citation  
  6. Kenneth Kunen (1968). Implicit Definability and Infinitary Languages. Journal of Symbolic Logic 33 (3):446-451.score: 45.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. John Gregory (1974). Beth Definability in Infinitary Languages. Journal of Symbolic Logic 39 (1):22-26.score: 45.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Anders M. Nyberg (1976). Uniform Inductive Definability and Infinitary Languages. Journal of Symbolic Logic 41 (1):109-120.score: 45.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. Carol Wood (1972). Forcing for Infinitary Languages. Mathematical Logic Quarterly 18 (25‐30):385-402.score: 45.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Jon Barwise (1968). Implicit Definability and Compactness in Infinitary Languages. Lecture Notes in Mathematics 72:1--35.score: 45.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  11. Jean‐Pierre Calais (1972). Partial Isomorphisms and Infinitary Languages. Mathematical Logic Quarterly 18 (25‐30):435-456.score: 45.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. C. C. Chang (1972). Review: Jorg Flum, A Remark on Infinitary Languages. [REVIEW] Journal of Symbolic Logic 37 (4):764-764.score: 45.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Newton C. A. da Costa & Charles C. Pinter (1976). Α Logic and Infinitary Languages. Mathematical Logic Quarterly 22 (1):105-112.score: 45.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Karl‐Heinz Diener (1983). On Constructing Infinitary Languages Lα Β Without the Axiom of Choice. Mathematical Logic Quarterly 29 (6):357-376.score: 45.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Jörg Flum (1971). A Remark on Infinitary Languages. Journal of Symbolic Logic 36 (3):461-462.score: 45.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. Jorg Flum (1974). Review: Jerome Malitz, Universal Classes in Infinitary Languages. [REVIEW] Journal of Symbolic Logic 39 (2):336-336.score: 45.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Victor Harnik (1986). Review: David W. Kueker, Lowenheim-Skolem and Interpolation Theorems in Infinitary Languages; K. Jon Barwise, Mostowski's Collapsing Function and the Closed Unbounded Filter; David W. Kueker, Countable Approximations and Lowenheim-Skolem Theorems. [REVIEW] Journal of Symbolic Logic 51 (1):232-234.score: 45.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Jaakko Hintikka & Veikko Rantala (1976). A New Approach to Infinitary Languages. Annals of Mathematical Logic 10 (1):95-115.score: 45.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. E. G. K. Lopez-Escobar (1970). Review: Kenneth Kunen, Implicit Definability and Infinitary Languages. [REVIEW] Journal of Symbolic Logic 35 (2):341-342.score: 45.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Mihaly Makkai (1972). Review: Jon Barwise, Implicit Definability and Compactness in Infinitary Languages. [REVIEW] Journal of Symbolic Logic 37 (1):201-202.score: 45.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Michael Makkai (1978). Review: M. A. Dickmann, Large Infinitary Languages. Model Theory. [REVIEW] Journal of Symbolic Logic 43 (1):144-145.score: 45.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Gonzalo E. Reyes (1972). Lω₁Ω is Enough: A Reduction Theorem for Some Infinitary Languages. Journal of Symbolic Logic 37 (4):705-710.score: 45.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  23. Gonzalo E. Reyes (1972). $L{Omega1omega}$ is Enough: A Reduction Theorem for Some Infinitary Languages. Journal of Symbolic Logic 37 (4):705-710.score: 45.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Alexandre Martins Rodrigues & Edelcio de Souza (2011). Model Theoretical Generalization of Steinitz's Theorem. Principia 15 (1):107-110.score: 45.0
    Infinitary languages are used to prove that any strong isomorphism of substructures of isomorphic structures can be extended to an isomorphism of the structures. If the structures are models of a theory that has quantifier elimination, any isomorphism of substructures is strong. This theorem is a partial generalization of Steinitz’s theorem for algebraically closed fields and has as special case the analogous theorem for differentially closed fields. In this note, we announce results which will be proved elsewhere. DOI: (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  25. Saharon Shelah (1973). Weak Definability in Infinitary Languages. Journal of Symbolic Logic 38 (3):399-404.score: 45.0
    We shall prove that if a model of cardinality κ can be expanded to a model of a sentence ψ of Lλ+,ω by adding a suitable predicate in more than κ ways, then, it has a submodel of power μ which can be expanded to a model of ψ in $> \mu$ ways provided that λ,κ,μ satisfy suitable conditions.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  26. Tapani Hyttinen (1991). Preservation by Homomorphisms and Infinitary Languages. Notre Dame Journal of Formal Logic 32 (2):167-172.score: 45.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  27. H. Jerome Keisler (1971). Model Theory for Infinitary Logic. Amsterdam,North-Holland Pub. Co..score: 39.0
    Provability, Computability and Reflection.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Julia F. Knight (1982). Review: J.-P. Ressayre, Boolean Models and Infinitary First Order Languages. [REVIEW] Journal of Symbolic Logic 47 (2):439-439.score: 36.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. J. -P. Ressayre (1973). Boolean Models and Infinitary First Order Languages. Annals of Mathematical Logic 6 (1):41-92.score: 36.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. Victor Pambuccian (2002). On Definitions in an Infinitary Language. Mathematical Logic Quarterly 48 (4):522-524.score: 35.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. John T. Baldwin (2007). The Vaught Conjecture: Do Uncountable Models Count? Notre Dame Journal of Formal Logic 48 (1):79-92.score: 30.0
    We give a model theoretic proof, replacing admissible set theory by the Lopez-Escobar theorem, of Makkai's theorem: Every counterexample to Vaught's Conjecture has an uncountable model which realizes only countably many ℒ$_{ω₁,ω}$-types. The following result is new. Theorem: If a first-order theory is a counterexample to the Vaught Conjecture then it has 2\sp ℵ₁ models of cardinality ℵ₁.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  32. Karl‐Heinz Diener & K.‐H. Diener (1992). On the Transitive Hull of a Κ‐Narrow Relation. Mathematical Logic Quarterly 38 (1):387-398.score: 30.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  33. Matti Linna (1970). The Set of Schemata of C-Valid Equations Between Regular Expressions is Independent of the Basic Alphabet. Turku [Finland]Turun Yliopisto.score: 30.0
     
    My bibliography  
     
    Export citation  
  34. John L. Bell, Infinitary Logic. Stanford Encyclopedia of Philosophy.score: 24.0
    Traditionally, expressions in formal systems have been regarded as signifying finite inscriptions which are—at least in principle—capable of actually being written out in primitive notation. However, the fact that (first-order) formulas may be identified with natural numbers (via "Gödel numbering") and hence with finite sets makes it no longer necessary to regard formulas as inscriptions, and suggests the possibility of fashioning "languages" some of whose formulas would be naturally identified as infinite sets . A "language" of this kind is (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  35. Maaret Karttunen (1983). Model Theoretic Results for Infinitely Deep Languages. Studia Logica 42 (2-3):223 - 241.score: 24.0
    We define a subhierarchy of the infinitely deep languagesN described by Jaakko Hintikka and Veikko Rantala. We shall show that some model theoretic results well-known in the model theory of the ordinary infinitary languages can be generalized for these new languages. Among these are the downward Löwenheim-Skolem and o's theorems as well as some compactness properties.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  36. Miklós Ferenczi (2009). On Conservative Extensions in Logics with Infinitary Predicates. Studia Logica 92 (1):121 - 135.score: 21.0
    If the language is extended by new individual variables, in classical first order logic, then the deduction system obtained is a conservative extension of the original one. This fails to be true for the logics with infinitary predicates. But it is shown that restricting the commutativity of quantifiers and the equality axioms in the extended system and supposing the merry-go-round property in the original system, the foregoing extension is already conservative. It is shown that these restrictions are crucial for (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  37. E. G. K. Lopez-Escobar (1967). Remarks on an Infinitary Language with Constructive Formulas. Journal of Symbolic Logic 32 (3):305-318.score: 21.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. Erwin Engeler (1969). Review: E. G. K. Lopez-Escobar, An Interpolation Theorem for Denumerably Long Formulas; E. G. K. Lopez-Escobar, Universal Formulas in the Infinitary Language $L_{Alpha Beta}$. [REVIEW] Journal of Symbolic Logic 34 (2):301-302.score: 21.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Patrick Blackburn & Jerry Seligman (1995). Hybrid Languages. Journal of Logic, Language and Information 4 (3):251-272.score: 19.0
    Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper motivates the development of hybrid languages, sketches their history, and examines the expressive power of three hybrid binders. We show that all three binders give rise to languages strictly weaker than the corresponding first-order language, that full first-order expressivity can be gained by adding the universal modality, and that all three binders can force the existence of infinite models and (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  40. Tore Langholm (2006). A Descriptive Characterisation of Linear Languages. Journal of Logic, Language and Information 15 (3):233-250.score: 19.0
    Lautemann et al. (1995) gave a descriptive characterisation of the class of context-free languages, showing that a language is context-free iff it is definable as the set of words satisfying some sentence of a particular logic (fragment) over words. The present notes discuss how to specialise this result to the class of linear languages. Somewhat surprisingly, what would seem the most straightforward specialisation actually fails, due to the fact that linear grammars fail to admit a Greibach normal form. (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  41. András Kornai (2011). Probabilistic Grammars and Languages. Journal of Logic, Language and Information 20 (3):317-328.score: 19.0
    Using an asymptotic characterization of probabilistic finite state languages over a one-letter alphabet we construct a probabilistic language with regular support that cannot be generated by probabilistic CFGs. Since all probability values used in the example are rational, our work is immune to the criticism leveled by Suppes (Synthese 22:95–116, 1970 ) against the work of Ellis ( 1969 ) who first constructed probabilistic FSLs that admit no probabilistic FSGs. Some implications for probabilistic language modeling by HMMs are discussed.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  42. Brian R. Gaines (2009). Designing Visual Languages for Description Logics. Journal of Logic, Language and Information 18 (2):217-250.score: 19.0
    Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted on knowledge representation (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  43. Tobias Kuhn (2013). A Principled Approach to Grammars for Controlled Natural Languages and Predictive Editors. Journal of Logic, Language and Information 22 (1):33-70.score: 19.0
    Controlled natural languages (CNL) with a direct mapping to formal logic have been proposed to improve the usability of knowledge representation systems, query interfaces, and formal specifications. Predictive editors are a popular approach to solve the problem that CNLs are easy to read but hard to write. Such predictive editors need to be able to “look ahead” in order to show all possible continuations of a given unfinished sentence. Such lookahead features, however, are difficult to implement in a satisfying (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  44. Xinli Wang (2003). Presuppositional Languages and the Failure of Cross-Language Understanding. Dialogue 42 (01):53-77.score: 18.0
    Why is mutual understanding between two substantially different comprehensive language communities often problematic and even unattainable? To answer this question, the author first introduces a notion of presuppositional languages. Based on the semantic structure of a presuppositional language, the author identifies a significant condition necessary for effective understanding of a language: the interpreter is able to effectively understand a language only if he/she is able to recognize and comprehend its metaphysical presuppositions. The essential role of the knowledge of metaphysical (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  45. Ralf M. Bader (2012). Supervenience and Infinitary Property-Forming Operations. Philosophical Studies 160 (3):415-423.score: 18.0
    This paper provides an account of the closure conditions that apply to sets of subvening and supervening properties, showing that the criterion that determines under which property-forming operations a particular family of properties is closed is applicable both to the finitary and to the infinitary case. In particular, it will be established that, contra Glanzberg, infinitary operations do not give rise to any additional difficulties beyond those that arise in the finitary case.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  46. Marcus Kracht (2011). Interpreted Languages and Compositionality. Springer.score: 18.0
    This book argues that languages are composed of sets of ‘signs’, rather than ‘strings’. This notion, first posited by de Saussure in the early 20th century, has for decades been neglected by linguists, particularly following Chomsky’s heavy critiques of the 1950s. Yet since the emergence of formal semantics in the 1970s, the issue of compositionality has gained traction in the theoretical debate, becoming a selling point for linguistic theories. Yet the concept of ‘compositionality’ itself remains ill-defined, an issue this (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. Lavinia María Picollo (2013). Yablo's Paradox in Second-Order Languages: Consistency and Unsatisfiability. Studia Logica 101 (3):601-617.score: 18.0
    Stephen Yablo [23,24] introduces a new informal paradox, constituted by an infinite list of semi-formalized sentences. It has been shown that, formalized in a first-order language, Yablo’s piece of reasoning is invalid, for it is impossible to derive falsum from the sequence, due mainly to the Compactness Theorem. This result casts doubts on the paradoxical character of the list of sentences. After identifying two usual senses in which an expression or set of expressions is said to be paradoxical, since second-order (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  48. Manuel Toscano (2011). What Kind of Values Do Languages Have? Means of Communication and Cultural Heritage. Redescriptions. Yearbook of Political Thought, Conceptual History and Feminist Theory 15:171-184.score: 18.0
    Recent debates on linguistic diversity inevitably raise questions about the value of languages. This paper deals with two descriptions of language’s value that play a prominent role in those debates: language considered as a means of communication and a cultural heritage. Its purpose is explanatory, providing an account of how languages are assessed in each of these descriptions. Moreover, the paper will also pay attention to the rhetorical uses of such value descriptions in the discourses on linguistic diversity, (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. Fabrizio Arosio (2010). Infectum and Perfectum. Two Faces of Tense Selection in Romance Languages. Linguistics and Philosophy 33 (3):171-214.score: 18.0
    This paper investigates the semantics of tense and aspect in Romance languages. Its goal is to develop a compositional, model-theoretic semantics for tense and temporal adverbs which is sensitive to aspectual distinctions. I will consider durative adverbial distributions and aspectual contrasts across different morphological tense forms. I will examine tense selection under habitual meanings, generic meanings and state of result constructions. In order to account for these facts I will argue that temporal homogeneity plays a fundamental role in tense (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  50. Pierluigi Minari (2011). Infinitary Modal Logic and Generalized Kripke Semantics. Annali Del Dipartimento di Filosofia 17 (1):135-166.score: 18.0
    This paper deals with the infinitary modal propositional logic Kω1, featuring countable disjunctions and conjunc- tions. It is known that the natural infinitary extension LK.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000