阻碍
发表于 2025-3-23 11:35:43
Relational Formalisation of Nonclassical Logics,The purpose of this chapter is to present and motivate the application of algebras of relations to the formalisation of nonclassical logics. It is shown that a suitably defined relational logic can serve as a general framework for developing nonclassical means of reasoning that are needed in many application areas.
ABYSS
发表于 2025-3-23 16:14:15
Linear Logic,Linear logic, introduced by Jean-Yves Girard , has aroused considerable interest among logicians and theoretical computer scientists. Among other things, linear logic is said to be a . and a .. According to Girard , it should be viewed as an extension of classical logic, rather than as an alternative logic.
accomplishment
发表于 2025-3-23 19:44:01
Algorithms from Relational Specifications,The purpose of a specification is to state a problem as clearly as possible. In many cases, the most direct and intuitive way to specify a problem is by writing down a logical predicate that describes its possible solutions. Here, we employ the calculus of relations for developing efficient algorithms from problem specifications.
lacrimal-gland
发表于 2025-3-23 22:59:58
http://reply.papertrans.cn/83/8262/826104/826104_14.png
磨坊
发表于 2025-3-24 03:32:58
https://doi.org/10.1007/978-3-7091-6510-2algebra; algorithm; algorithms; calculus; computer; computer science; database; databases; development; langu
小歌剧
发表于 2025-3-24 10:25:04
978-3-211-82971-4Springer-Verlag Wien 1997
无目标
发表于 2025-3-24 13:32:52
Refinement and Demonic Semantics,, which we view as computing an input-output relation on a set of states. We are interested here in programs that are meant to terminate, not in reactive programs. Our programming language is Dijkstra’s language of guarded commands , which allows the expression of nondeterminism, thus making a relational approach very natural.
Nmda-Receptor
发表于 2025-3-24 15:02:44
Tabular Representations in Relational Documents,formal model of tabular expressions, defining the meaning of a large class of tabular forms, is presented. Finally, we discuss the transformation of tabular expressions from one form to another, and illustrate some useful transformations.
mortuary
发表于 2025-3-24 19:08:18
Heterogeneous Relation Algebra,and, a variant of the theory has evolved that treats relations from the very beginning as . or ., i.e. as relations where the normal case is that they are relations between two different sets. The present chapter is devoted to this variant form.
Harness
发表于 2025-3-24 23:49:53
http://reply.papertrans.cn/83/8262/826104/826104_20.png