Lexical Resource Semantics - User contributions [en]

Links

2022-03-29T20:53:29Z

Pahohu: /* Logic */

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 ==

* [http://www.english-linguistics.de www.english-linguistics.de] a blog on linguistics with material for and/or by students.
* The youtube channel [http://www.youtube.com/channel/UCuHjSVZ370GSVlKyMpFE4cw?feature=guide english.linguistics.server] hosting video podcasts created for this wiki and for the blog english-linguistics.de.

== Grammar frameworks ==

=== HPSG ===

* [http://www.ling.ohio-state.edu/research/hpsg/ HPSG server at The Ohio State University]: Website with current information on various aspects of the grammar formalism and linguistic theory of HPSG
* [http://hpsg.stanford.edu/ HPSG site at Stanford University]: Website with links to HPSG-related research and activities, in particular to the activities at Stanford University
* [http://www.sfs.uni-tuebingen.de/hpsg/ 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 ==

* [http://www.semanticsarchive.net/ semanticsarchive.net]: Archive for exchanging papers of interest to natural language semanticists and philosophers of language.
* [http://www.glottopedia.org/index.php/Portal:Semantics glottopedia's semantics portal]: The semantics portal of [http://www.glottopedia.org glottopedia],

== Syntax ==

== Logic ==

* YouTube channel (by a professor of philosophy and logic in the UK) regarding different topics and variations of formal logic: https://youtube.com/c/AtticPhilosophy/videos
* (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/
* YouTube channel (by an associate professor of philosophy and logic in the UK) with online lectures (due to the Covid-19 pandemic) on formal logic: https://www.youtube.com/c/DoctorLogicVideos/videos
* 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://ubffm.hds.hebis.de/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 [[Tools|computational tools for LRS]]

== Resources ==

Links

2022-03-29T17:30:15Z

Pahohu: /* Logic */

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 ==

* [http://www.english-linguistics.de www.english-linguistics.de] a blog on linguistics with material for and/or by students.
* The youtube channel [http://www.youtube.com/channel/UCuHjSVZ370GSVlKyMpFE4cw?feature=guide english.linguistics.server] hosting video podcasts created for this wiki and for the blog english-linguistics.de.

== Grammar frameworks ==

=== HPSG ===

* [http://www.ling.ohio-state.edu/research/hpsg/ HPSG server at The Ohio State University]: Website with current information on various aspects of the grammar formalism and linguistic theory of HPSG
* [http://hpsg.stanford.edu/ HPSG site at Stanford University]: Website with links to HPSG-related research and activities, in particular to the activities at Stanford University
* [http://www.sfs.uni-tuebingen.de/hpsg/ 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 ==

* [http://www.semanticsarchive.net/ semanticsarchive.net]: Archive for exchanging papers of interest to natural language semanticists and philosophers of language.
* [http://www.glottopedia.org/index.php/Portal:Semantics glottopedia's semantics portal]: The semantics portal of [http://www.glottopedia.org glottopedia],

== Syntax ==

== Logic ==

* YouTube channel (by an associate professor of philosophy and logic in the UK) with online lectures (due to the Covid-19 pandemic) on formal logic: https://www.youtube.com/c/DoctorLogicVideos/videos
* YouTube channel (by a professor of philosophy and logic in the UK) regarding different topics and variations of formal logic: https://youtube.com/c/AtticPhilosophy/videos
* (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://ubffm.hds.hebis.de/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 [[Tools|computational tools for LRS]]

== Resources ==

Links

2022-03-29T17:10:40Z

Pahohu: /* Logic */

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 ==

* [http://www.english-linguistics.de www.english-linguistics.de] a blog on linguistics with material for and/or by students.
* The youtube channel [http://www.youtube.com/channel/UCuHjSVZ370GSVlKyMpFE4cw?feature=guide english.linguistics.server] hosting video podcasts created for this wiki and for the blog english-linguistics.de.

== Grammar frameworks ==

=== HPSG ===

* [http://www.ling.ohio-state.edu/research/hpsg/ HPSG server at The Ohio State University]: Website with current information on various aspects of the grammar formalism and linguistic theory of HPSG
* [http://hpsg.stanford.edu/ HPSG site at Stanford University]: Website with links to HPSG-related research and activities, in particular to the activities at Stanford University
* [http://www.sfs.uni-tuebingen.de/hpsg/ 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 ==

* [http://www.semanticsarchive.net/ semanticsarchive.net]: Archive for exchanging papers of interest to natural language semanticists and philosophers of language.
* [http://www.glottopedia.org/index.php/Portal:Semantics glottopedia's semantics portal]: The semantics portal of [http://www.glottopedia.org glottopedia],

== Syntax ==

== Logic ==

* YouTube channel (by an associate professor of philosophy and logic in the UK) with online lectures (due to the Covid-19 pandemic) on formal logic: https://www.youtube.com/c/DoctorLogicVideos/videos
* YouTube channel (by a professor of philosophy and logic in the UK) regarding different topics and variations of formal logic: https://youtube.com/c/AtticPhilosophy/videos
* (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 [[Tools|computational tools for LRS]]

== Resources ==