✦ LIBER ✦

On the informatics laws and deductive semantics of software

✍ Scribed by Yingxu Wang,

Book ID: 124159022
Publisher: IEEE
Year: 2006
Tongue: English
Weight: 324 KB
Volume: 36
Category: Article
ISSN: 1094-6977
DOI: 10.1109/TSMCC.2006.871138

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Leibniz on the laws of nature and the be

Leibniz on the laws of nature and the best deductive system

✍ Watson, Joshua L. 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 205 KB

On the semantics of software adaptation

✍ Antonio Brogi; Carlos Canal; Ernesto Pimentel 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 274 KB

On the semantics of perception-based fuz

On the semantics of perception-based fuzzy logic deduction

✍ Vilém Novák; Irina Perfilieva 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 410 KB

In this article, we return to the problem of the derivation of a conclusion on the basis of fuzzy IF-THEN rules. The so-called Mamdani method is well elaborated and widely applied. In this article, we present an alternative to it. The fuzzy IF-THEN rules are here interpreted as genuine linguistic se

Proof-Theoretic Semantics, Self-Contradi

Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning

✍ Peter Schroeder-Heister 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 522 KB

The nordic conferences on law and inform

The nordic conferences on law and informatics

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 111 KB

A Labelled Deductive System for Relation

A Labelled Deductive System for Relational Semantics of the Lambek Calculus

✍ Miroslawa Kolowska-Gawiejnowicz 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 484 KB

We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.