http:^^www.cs.indiana.edu^research^dunn^neg.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 61 行

HTML
61 行
字号 
Date: Wed, 20 Nov 1996 19:15:13 GMT
Server: Apache/1.0.3
Content-type: text/html
Content-length: 1161
Last-modified: Thu, 25 Apr 1996 14:57:22 GMT

<html><HEAD><TITLE> Negation </TITLE></HEAD><BODY background = "pentag8.gif"><H2> Negation </H2><Strong>Description: </Strong> <Blockquote> This is a study of varioustreatements of negation in non-classical logics.  It grows out of mywork on "gaggle theory" wherein negation, being a unary operator, isgiven a semantics using a binary "perp" relation. This has precedentsin the model-theoretic definitions of negation in quantum logic and inlinear logic, but is unusual in its application to intuitionisticlogic and relevance logic. This leads to a study of when various semantical treatements of negation are equivalent. </Blockquote><P><Strong> Associated Faculty: </Strong>Michael Dunn<P><Strong> Associated Graduate Students: </Strong>  Steve Crowley (Philosophy)<P><Strong> Affiliated Projects: </Strong> Chrysafis Hartonas (Universityof Ioannina, Greece), Greg Restall (Automated Reasoning Project,Australian National University) <P><Strong> Support: </Strong> College of Arts and Sciences<p> <!WA0><A HREF = "http://www.cs.indiana.edu/l/www/research/index.html"><!WA1><IMG SRC="http://www.cs.indiana.edu/research/back.gif">Return to Computer Science Research Page  </A>

http:^^www.cs.indiana.edu^research^dunn^neg.html - 源码说明

本页面展示了「This data set contains WWW-pages collected from computer science departments of various universities」中的 http:^^www.cs.indiana.edu^research^dunn^neg.html 源码文件，采用 HTML 编程语言编写，共 61 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫开发者社区收录了大量与数据集相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?