Search results for 'Mathematical linguistics' (try it on Scholar)

999 found
Order:
  1. Benedikt Löwe, Wolfgang Malzkorn & Thoralf Räsch (2003). Foundations of the Formal Sciences Ii Applications of Mathematical Logic in Philosophy and Linguistics : Papers of a Conference Held in Bonn, November 10-13, 2000. [REVIEW] Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography  
  2. Wojciech Buszkowski (1997). Mathematical Linguistics and Proof Theory. In Benthem & Meulen (eds.), Handbook of Logic and Language. MIT Press 683--736.
     
    Export citation  
     
    My bibliography   2 citations  
  3.  1
    Joseph S. Ullian (1974). Review: Robert Wall, Introduction to Mathematical Linguistics. [REVIEW] Journal of Symbolic Logic 39 (3):615-616.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  0
    Robert Wall (1974). Introduction to Mathematical Linguistics. Journal of Symbolic Logic 39 (3):615-616.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5.  3
    O. Mcnamara (1995). Saussurian Linguistics Revisited: Can It Inform Our Interpretation of Mathematical Activity? Science and Education 4 (3):253-266.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6.  1
    Lawrence S. Moss (1992). Partee Barbara H., ter Meulen Alice, and Wall Robert E.. Mathematical Methods in Linguistics. Studies in Linguistics and Philosophy, Vol. 30. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, Xx+ 663 Pp. [REVIEW] Journal of Symbolic Logic 57 (1):271-272.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7.  1
    Lawrence S. Moss (1992). Review: Barbara H. Partee, Alice ter Meulen, Robert E. Wall, Mathematical Methods in Linguistics. [REVIEW] Journal of Symbolic Logic 57 (1):271-272.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8. Benedikt Löwe, Wolfgang Malzkorn & Thoralf Räsch (2003). Foundations of the Formal Sciences II. Applications of Mathematical Logic in Philosophy and Linguistics. Kluwer.
     
    Export citation  
     
    My bibliography  
  9.  0
    Barbara H. Partee, Alice ter Meulen & Robert E. Wall (1992). Mathematical Methods in Linguistics. Journal of Symbolic Logic 57 (1):271-272.
    Direct download  
     
    Export citation  
     
    My bibliography  
  10. V. M. Abrusci & C. Casadio (2002). New Perspectives in Logic and Formal Linguistics Proceedings of the Vth Roma Workshop. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography  
  11.  6
    M. V. Aldridge (1992). The Elements of Mathematical Semantics. Mouton De Gruyter.
    Chapter Some topics in semantics Aims of this study The central preoccupation of this study is semantic. It is intended as a modest contribution to the ...
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  12.  13
    Petr Hájek (2006). Mathematical Fuzzy Logic – What It Can Learn From Mostowski and Rasiowa. Studia Logica 84 (1):51 - 62.
    Important works of Mostowski and Rasiowa dealing with many-valued logic are analyzed from the point of view of contemporary mathematical fuzzy logic.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  13.  1
    Roman Murawski & Jerzy Pogonowski (eds.) (1997). Euphony and Logos: Essays in Honour of Maria Steffen-Batóg and Tadeusz Batóg. Rodopi.
    Contents: Preface. SCIENTIFIC WORKS OF MARIA STEFFEN-BATÓG AND TADEUSZ BATÓG. List of Publications of Maria Steffen-Batóg. List of Publications of Tadeusz Batóg. Jerzy POGONOWSKI: On the Scientific Works of Maria Steffen-Batóg. Jerzy POGONOWSKI: On the Scientific Works of Tadeusz Batóg. W??l??odzimierz LAPIS: How Should Sounds Be Phonemicized? Pawe??l?? NOWAKOWSKI: On Applications of Algorithms for Phonetic Transcription in Linguistic Research. Jerzy POGONOWSKI: Tadeusz Batóg's Phonological Systems. MATHEMATICAL LOGIC. Wojciech BUSZKOWSKI: Incomplete Information Systems and Kleene 3-valued Logic. Maciej KANDULSKI: Categorial Grammars (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  14. Gabriel V. Orman (ed.) (1991). Proceedings of the Third Colloquium on Logic, Language, Mathematics Linguistics, Brasov, 23-25 Mai 1991. Society of Mathematics Sciences.
  15.  3
    Anders Søgaard (2007). Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (Eds.), Mathematical Problems From Applied Logic I. Studia Logica 87 (2-3):363-367.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  16.  3
    Jan Woleński (2005). Thomas Foster, Logic, Induction and Sets, (London Mathematical Society Student Texts 56), Cambridge University Press, Cambridge 2003, X + 234 Pp., £50, ISBN 0 521 82621 7 (Hardback), £18.99, 0 521 53361 9 (Paperback). [REVIEW] Studia Logica 81 (1):145-150.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  17.  17
    Elliott Mendelson (2005). Book Review: Igor Lavrov, Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Kluwer Academic / Plenum Publishers, 2003, Us$141.00, Pp. XII + 282, Isbn 0-306-47712-2, Hardbound. [REVIEW] Studia Logica 79 (3):409-410.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  18.  14
    Ewa Palka (2005). Igor Lavrov and Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Translated by Valentin Shehtman, Kluwer Academic/Plenum Publishers, New York, 2003, US$141.00, Pp. XI + 282, ISBN 0-306-47712-2, Hardbound. [REVIEW] Studia Logica 81 (2):283-292.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  19.  17
    Ian Chiswell (2007). Mathematical Logic. Oxford University Press.
    Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  87
    Wolfram Hinzen & Juan Uriagereka (2006). On the Metaphysics of Linguistics. Erkenntnis 65 (1):71-96.
    Mind–body dualism has rarely been an issue in the generative study of mind; Chomsky himself has long claimed it to be incoherent and unformulable. We first present and defend this negative argument but then suggest that the generative enterprise may license a rather novel and internalist view of the mind and its place in nature, different from all of, (i) the commonly assumed functionalist metaphysics of generative linguistics, (ii) physicalism, and (iii) Chomsky’s negative stance. Our argument departs from the (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  21. D. Terence Langendoen & Paul M. Postal (1986). The Vastness of Natural Languages. Linguistics and Philosophy 9 (2):225-243.
     
    Export citation  
     
    My bibliography   3 citations  
  22.  20
    Wolfgang Rautenberg (2006). A Concise Introduction to Mathematical Logic. Springer.
    Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. While there are already several well-known textbooks on mathematical logic, this book is unique in (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  23.  7
    Gilbert Harman (1972). Logical Form. Foundations of Language 9 (1):38-65.
    Theories of adverbial modification can be roughly distinguished into two sorts. One kind of theory takes logical form to follow surface grammatical form. Adverbs are treated as unanalyzable logical operators that turn a predicate or sentence into a different predicate or sentence respectively. And new rules of logic are stated for these operators. -/- A different kind of theory does not suppose that logical form must parallel surface grammatical form. It allows that logical form may have more to do with (...)
    Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  24.  12
    Gerhard Jäger (2004). Residuation, Structural Rules and Context Freeness. Journal of Logic, Language and Information 13 (1):47-59.
    The article presents proofs of the context freeness of a family of typelogical grammars, namely all grammars that are based on a uni- ormultimodal logic of pure residuation, possibly enriched with thestructural rules of Permutation and Expansion for binary modes.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  25. J. F. A. K. van Benthem (1995). Language in Action Categories, Lambdas and Dynamic Logic. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography   1 citation  
  26. V. V. Nalimov & Robert Garland Colodny (1981). Faces of Science. Isi Press, C1981.
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  27.  13
    Aldo Antonelli, Alasdair Urquhart & Richard Zach (2008). Mathematical Methods in Philosophy Editors' Introduction. Review of Symbolic Logic 1 (2):143-145.
    Mathematics and philosophy have historically enjoyed a mutually beneficial and productive relationship, as a brief review of the work of mathematician–philosophers such as Descartes, Leibniz, Bolzano, Dedekind, Frege, Brouwer, Hilbert, Gödel, and Weyl easily confirms. In the last century, it was especially mathematical logic and research in the foundations of mathematics which, to a significant extent, have been driven by philosophical motivations and carried out by technically minded philosophers. Mathematical logic continues to play an important role in contemporary (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  28. Renate Bartsch (1976). The Grammar of Adverbials a Study in the Semantics and Syntax of Adverbial Constructions. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography  
  29.  7
    Lev Dmitrievich Beklemishev (1999). Provability, Complexity, Grammars. American Mathematical Society.
    (2) Vol., Classification of Propositional Provability Logics LD Beklemishev Introduction Overview. The idea of an axiomatic approach to the study of ...
    Direct download  
     
    Export citation  
     
    My bibliography  
  30. P. Braffort & F. van Scheepen (eds.) (1968). Automation in Language Translation and Theorem Proving. Brussels, Commission of the European Communities, Directorate-General for Dissemination of Information.
     
    Export citation  
     
    My bibliography  
  31. Veronica Dahl & Patrick Saint-Dizier (1985). Natural Language Understanding and Logic Programming Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984. [REVIEW] Monograph Collection (Matt - Pseudo).
    No categories
     
    Export citation  
     
    My bibliography  
  32. Takao Gunji (1982). Toward a Computational Theory of Pragmatics Discourse, Presupposition, and Implicature. Indiana University Linguistics Club.
     
    Export citation  
     
    My bibliography  
  33.  4
    Petr Sgall (ed.) (1984). Contributions to Functional Syntax, Semantics, and Language Comprehension. J. Benjamins Pub. Co..
    On the Notion "Type of Language" Petr Sgall It is well known that the high frequency of terminological vagueness and confusion has been a serious obstacle ...
    Direct download  
     
    Export citation  
     
    My bibliography  
  34. Kees Vermeulen & Ann Copestake (2001). Algebras, Diagrams, and Decisions in Language, Logic, and Computation.
     
    Export citation  
     
    My bibliography  
  35.  10
    Jenz Høyrup (2005). The Shaping of Deduction in Greek Mathematics: A Study in Coginitive History. [REVIEW] Studia Logica 80 (1):143-147.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  36.  0
    James D. Mccawley (2004). James D. McCawley, Everything That Linguists Have Always Wanted to Know About Logic. Studia Logica 63 (1):121-150.
    Direct download  
     
    Export citation  
     
    My bibliography  
  37. Jonathan Lawry, James G. Shanahan & Anca L. Ralescu (2003). Modelling with Words Learning, Fusion, and Reasoning Within a Formal Linguistic Representation Framework.
     
    Export citation  
     
    My bibliography  
  38.  12
    Brian Hill (2008). Towards a “Sophisticated” Model of Belief Dynamics. Part I: The General Framework. Studia Logica 89 (1):81 - 109.
    It is well-known that classical models of belief are not realistic representations of human doxastic capacity; equally, models of actions involving beliefs, such as decisions based on beliefs, or changes of beliefs, suffer from a similar inaccuracies. In this paper, a general framework is presented which permits a more realistic modelling both of instantaneous states of belief, and of the operations involving them. This framework is motivated by some of the inadequacies of existing models, which it overcomes, whilst retaining technical (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  39.  49
    Andrzej Grzegorczyk (2005). Undecidability Without Arithmetization. Studia Logica 79 (2):163 - 230.
    In the present paper the well-known Gödels – Churchs argument concerning the undecidability of logic (of the first order functional calculus) is exhibited in a way which seems to be philosophically interestingfi The natural numbers are not used. (Neither Chinese Theorem nor other specifically mathematical tricks are applied.) Only elementary logic and very simple set-theoretical constructions are put into the proof. Instead of the arithmetization I use the theory of concatenation (formalized by Alfred Tarski). This theory proves to be (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  40.  9
    Francesco Belardinelli, Peter Jipsen & Hiroakira Ono (2004). Algebraic Aspects of Cut Elimination. Studia Logica 77 (2):209 - 240.
    We will give here a purely algebraic proof of the cut elimination theorem for various sequent systems. Our basic idea is to introduce mathematical structures, called Gentzen structures, for a given sequent system without cut, and then to show the completeness of the sequent system without cut with respect to the class of algebras for the sequent system with cut, by using the quasi-completion of these Gentzen structures. It is shown that the quasi-completion is a generalization of the MacNeille (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  41.  17
    Zofia Kostrzycka & Marek Zaionc (2004). Statistics of Intuitionistic Versus Classical Logics. Studia Logica 76 (3):307 - 328.
    For the given logical calculus we investigate the proportion of the number of true formulas of a certain length n to the number of all formulas of such length. We are especially interested in asymptotic behavior of this fraction when n tends to infinity. If the limit exists it is represented by a real number between 0 and 1 which we may call the density of truth for the investigated logic. In this paper we apply this approach to the intuitionistic (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  42.  72
    Dale Jacquette (2006). Propositions, Sets, and Worlds. Studia Logica 82 (3):337 - 343.
    If we agree with Michael Jubien that propositions do not exist, while accepting the existence of abstract sets in a realist mathematical ontology, then the combined effect of these ontological commitments has surprising implications for the metaphysics of modal logic, the ontology of logically possible worlds, and the controversy over modal realism versus actualism. Logically possible worlds as maximally consistent proposition sets exist if sets generally exist, but are equivalently expressed as maximally consistent conjunctions of the same propositions in (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  43.  26
    Wilfried Sieg & John Byrnes (1998). Normal Natural Deduction Proofs (in Classical Logic). Studia Logica 60 (1):67-106.
    Natural deduction (for short: nd-) calculi have not been used systematically as a basis for automated theorem proving in classical logic. To remove objective obstacles to their use we describe (1) a method that allows to give semantic proofs of normal form theorems for nd-calculi and (2) a framework that allows to search directly for normal nd-proofs. Thus, one can try to answer the question: How do we bridge the gap between claims and assumptions in heuristically motivated ways? This informal (...)
    Direct download (12 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  44.  40
    Alan Baker (2010). No Reservations Required? Defending Anti-Nominalism. Studia Logica 96 (2):127-139.
    In a 2005 paper, John Burgess and Gideon Rosen offer a new argument against nominalism in the philosophy of mathematics. The argument proceeds from the thesis that mathematics is part of science, and that core existence theorems in mathematics are both accepted by mathematicians and acceptable by mathematical standards. David Liggins (2007) criticizes the argument on the grounds that no adequate interpretation of “acceptable by mathematical standards” can be given which preserves the soundness of the overall argument. In (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  45.  11
    Dunja Jutronić (2007). Platonism in Linguistics. Croatian Journal of Philosophy 7 (2):163-176.
    Jim Brown (1991, viii) says that platonism, in mathematics involves the following: 1. mathematical objects exist independently of us; 2. mathematical objects are abstract; 3. we learn about mathematical objects by the faculty of intuition. The same is being claimed by Jerrold Katz (1981, 1998) in his platonistic approach to linguistics. We can take the object of linguistic analysis to be concrete physical sounds as held by nominalists, or we can assume that the object of linguistic (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  46.  15
    Wojciech Buszkowski & Ewa Palka (2008). Infinitary Action Logic: Complexity, Models and Grammars. Studia Logica 89 (1):1 - 18.
    Action logic of Pratt [21] can be presented as Full Lambek Calculus FL [14, 17] enriched with Kleene star *; it is equivalent to the equational theory of residuated Kleene algebras (lattices). Some results on axiom systems, complexity and models of this logic were obtained in [4, 3, 18]. Here we prove a stronger form of *-elimination for the logic of *-continuous action lattices and the –completeness of the equational theories of action lattices of subsets of a finite monoid and (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  47.  1
    G. Neumann (2008). A Computational Linguistics Perspective on the Anticipatory Drive. Constructivist Foundations 4 (1):26-28.
    Open peer commentary on the target article “How and Why the Brain Lays the Foundations for a Conscious Self” by Martin V. Butz. Excerpt: In this commentary to Martin V. Butz’s target article I am especially concerned with his remarks about language (§33, §§71–79, §91) and modularity (§32, §41, §48, §81, §§94–98). In that context, I would like to bring into discussion my own work on computational models of self-monitoring (cf. Neumann 1998, 2004). In this work I explore the idea (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  48.  9
    Grzegorz Malinowski (2004). Inferential Intensionality. Studia Logica 76 (1):3 - 16.
    The paper is a study of properties of quasi-consequence operation which is a key notion of the so-called inferential approach in the theory of sentential calculi established in [5]. The principal motivation behind the quasi-consequence, q-consequence for short, stems from the mathematical practice which treats some auxiliary assumptions as mere hypotheses rather than axioms and their further occurrence in place of conclusions may be justified or not. The main semantic feature of the q-consequence reflecting the idea is that its (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  49.  6
    Claudia Casadio (2007). Applying Pregroups to Italian Statements and Questions. Studia Logica 87 (2-3):253 - 268.
    We know from the literature in theoretical linguistics that interrogative constructions in Italian have particular syntactic properties, due to the liberal word order and the rich inflectional system. In this paper we show that the calculus of pregroups represents a flexible and efficient computational device for the analysis and derivation of Italian sentences and questions. In this context the distinction between direct vs. indirect statements and questions is explored.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  50.  11
    W. J. Blok & Bjarni Jónsson (2006). Equivalence of Consequence Operations. Studia Logica 83 (1-3):91 - 110.
    This paper is based on Lectures 1, 2 and 4 in the series of ten lectures titled “Algebraic Structures for Logic” that Professor Blok and I presented at the Twenty Third Holiday Mathematics Symposium held at New Mexico State University in Las Cruces, New Mexico, January 8-12, 1999. These three lectures presented a new approach to the algebraization of deductive systems, and after the symposium we made plans to publish a joint paper, to be written by Blok, further developing these (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   8 citations  
1 — 50 / 999