语言学、逻辑和有限树
DSpace/Manakin存储库
语言学、逻辑和有限树
布莱克本,P。;
梅耶·维奥(Meyer-Viol,W.)。
(1993)《逻辑组预打印系列》,第103卷
(预打印)
摘要
开发了一种模态逻辑来处理有限序二叉树
它们用于(计算)语言学。
引入了一种情态语言,其中包含“母亲”、“第一个女儿”和“第二个女儿”的运算符
‘的女儿’关系及其传递性自反闭包。
这个
定义了树模型的相关类
…阅读更多
语言的三个应用
本文讨论了这种语言:上下文无关语法、命令关系和用特征结构修饰的树。
公理化证明系统
给出了关于有限类的完备性
有序二叉树。
以下是一些可判定性结果。
显示较少
下载/全文
通过乌得勒支大学知识库的开放访问版本
请参见
更多统计信息
关于此项目