Links: Difference between revisions
Jump to navigation
Jump to search
(→Syntax) |
(→Logic) |
||
| Line 27: | Line 27: | ||
== Logic == | == Logic == | ||
Self-)study guide for formal logic: https://www.logicmatters.net/tyl/ | * (Self-)study guide for formal logic: https://www.logicmatters.net/tyl/ | ||
Excellent book for basic logic (propositional logic, FOL, Fitch-style natural deduction proofs) for self-study: https://www.logicmatters.net/ifl/ | * Excellent book for basic logic (propositional logic, FOL, Fitch-style natural deduction proofs) for self-study: https://www.logicmatters.net/ifl/ | ||
Introduction to Gödel’s incompleteness theorems: https://www.logicmatters.net/igt/ | * Introduction to Gödel’s incompleteness theorems: https://www.logicmatters.net/igt/ | ||
Open Logic books: https://builds.openlogicproject.org/ | * Open Logic books: https://builds.openlogicproject.org/ | ||
Tool for Turing machine visualization: https://turing.openlogicproject.org | * Tool for Turing machine visualization: https://turing.openlogicproject.org | ||
Natural deduction (Fitch-style) proof editor and checker: https://proofs.openlogicproject.org | * Natural deduction (Fitch-style) proof editor and checker: https://proofs.openlogicproject.org | ||
Dynamic Epistemic Logic Playground: https://vezwork.github.io/modallogic/ | * Dynamic Epistemic Logic Playground: https://vezwork.github.io/modallogic/ | ||
Multlog: https://www.logic.at/multlog/ | * Multlog: https://www.logic.at/multlog/ | ||
Teaching tool for formal logic: https://carnap.io/ | * Teaching tool for formal logic: https://carnap.io/ | ||
TeXing tips for logic: https://www.logicmatters.net/latex-for-logicians/ | * TeXing tips for logic: https://www.logicmatters.net/latex-for-logicians/ | ||
Logic symbols: https://www.logicmatters.net/latex-for-logicians/symbols/ | * Logic symbols: https://www.logicmatters.net/latex-for-logicians/symbols/ | ||
Stefan Müller’s lecture on the basic implementation of formal semantics in HPSG. https://www.youtube.com/watch?v=Z1Rm2tb28Qg | * Stefan Müller’s lecture on the basic implementation of formal semantics in HPSG. https://www.youtube.com/watch?v=Z1Rm2tb28Qg | ||
Daniel Gutzmann’s lecture series on formal (Montague) semantics (introductory level in German): https://www.youtube.com/c/DanielGutzmann-Linguistik/videos and the corresponding book: https://hds.hebis.de/ubffm/Record/HEB456326480 | * Daniel Gutzmann’s lecture series on formal (Montague) semantics (introductory level in German): https://www.youtube.com/c/DanielGutzmann-Linguistik/videos and the corresponding book: https://hds.hebis.de/ubffm/Record/HEB456326480 | ||
Laurent Roussarie’s introduction to formal (Montague) semantics (introductory level in French): https://langsci-press.org/catalog/book/143 | * Laurent Roussarie’s introduction to formal (Montague) semantics (introductory level in French): https://langsci-press.org/catalog/book/143 | ||
Tutorial for PROLOG: http://learnprolognow.com | * Tutorial for PROLOG: http://learnprolognow.com | ||
== Computational linguistics == | == Computational linguistics == | ||
Revision as of 20:21, 3 February 2022
LRS stands in the context of various research strands. Therefore, the following collection of links might be useful for anyone interested in LRS and related research.
Related sites by this wiki's team
- www.english-linguistics.de a blog on linguistics with material for and/or by students.
- The youtube channel english.linguistics.server hosting video podcasts created for this wiki and for the blog english-linguistics.de.
Grammar frameworks
HPSG
- HPSG server at The Ohio State University: Website with current information on various aspects of the grammar formalism and linguistic theory of HPSG
- HPSG site at Stanford University: Website with links to HPSG-related research and activities, in particular to the activities at Stanford University
- HPSG in Tübingen
others
- http://fahs-wiki.soh.surrey.ac.uk/groups/fromcompetingtheoriestofieldworkarchi/: A page that provides a direct comparison of analyses in HPSG, LFG, and Minimalism.
Semantics
- semanticsarchive.net: Archive for exchanging papers of interest to natural language semanticists and philosophers of language.
- glottopedia's semantics portal: The semantics portal of glottopedia,
Syntax
Logic
- (Self-)study guide for formal logic: https://www.logicmatters.net/tyl/
- Excellent book for basic logic (propositional logic, FOL, Fitch-style natural deduction proofs) for self-study: https://www.logicmatters.net/ifl/
- Introduction to Gödel’s incompleteness theorems: https://www.logicmatters.net/igt/
- Open Logic books: https://builds.openlogicproject.org/
- Tool for Turing machine visualization: https://turing.openlogicproject.org
- Natural deduction (Fitch-style) proof editor and checker: https://proofs.openlogicproject.org
- Dynamic Epistemic Logic Playground: https://vezwork.github.io/modallogic/
- Multlog: https://www.logic.at/multlog/
- Teaching tool for formal logic: https://carnap.io/
- TeXing tips for logic: https://www.logicmatters.net/latex-for-logicians/
- Logic symbols: https://www.logicmatters.net/latex-for-logicians/symbols/
- Stefan Müller’s lecture on the basic implementation of formal semantics in HPSG. https://www.youtube.com/watch?v=Z1Rm2tb28Qg
- Daniel Gutzmann’s lecture series on formal (Montague) semantics (introductory level in German): https://www.youtube.com/c/DanielGutzmann-Linguistik/videos and the corresponding book: https://hds.hebis.de/ubffm/Record/HEB456326480
- Laurent Roussarie’s introduction to formal (Montague) semantics (introductory level in French): https://langsci-press.org/catalog/book/143
- Tutorial for PROLOG: http://learnprolognow.com
Computational linguistics
Also see the information and links in this wiki's section on computational tools for LRS