×
奥里·拉哈夫;阿诺·阿夫隆

全结构命题序列系统的统一语义框架。 （英语） Zbl 1354.03084号

ACM事务处理。计算。日志。 第14号第4条第27条第33页（2013年）.

引用于12文件

MSC公司：

03年3月 一般证明理论（包括证明理论语义）

关键词：

分析性;克里普克语义学;公理展开;削减可采性;非确定性语义;证明理论;语义表征;继发结石
PDF格式BibTeX公司 XML格式引用
\textit{O.Lahav}和\textit{A.Avron}，ACM Trans。计算。日志。14，第4号，第27条，第33页（2013；Zbl 1354.03084）
全文： DOI程序