scientific article; zbMATH DE number 7441505

zbMATH Open1476.68297MaRDI QIDQ5015101

Lasha Abzianidze

Publication date: 8 December 2021

Full work available at URL: http://www.viam.science.tsu.ge/Ami/2020_2/8_Lasha.pdf

Title of this publication is not available (Why is that?)

zbMATH Keywords

theorem provingtyped lambda calculusnatural logicnatural reasoningcombinatory categorial grammartextual entailmentanalytic tableau methodlambda logical form

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• A natural deduction system for discourse representation theory 👍 👎
• Proof Assistants for Natural Language Semantics 👍 👎
• Proof-Theoretic Semantics for a Natural Language Fragment 👍 👎
• An approach to natural-language semantics in logic programming 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015101)