Links: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
 
(11 intermediate revisions by 2 users not shown)
Line 20: Line 20:
== Semantics ==
== Semantics ==


* [http://www.semanticsarchive.net/ semanticsarchive.net]: Archive for exchanging papers of interest to natural language semanticists and philosophers of language.  
* [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 ==
== 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 ==
== Computational linguistics ==

Latest revision as of 20:53, 29 March 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

Grammar frameworks

HPSG

others

Semantics

Syntax

Logic

Computational linguistics

Also see the information and links in this wiki's section on computational tools for LRS

Resources