✦ LIBER ✦

Initial semantics of logic specifications with negation

✍ Scribed by O. A. Il'icheva

Publisher: Springer US
Year: 1993
Tongue: English
Weight: 497 KB
Volume: 28
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01124982

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LO

TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION

✍ Barbara Klunder; B. Klunder 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 510 KB

## Abstract The aim of the paper is to show that topoi are useful in the categorial analysis of the constructive logic with strong negation. In any topos ϵ we can distinguish an object Λ and its truth‐arrows such that sets ϵ(__A__, Λ) (for any object __A__) have a Nelson algebra structure. The obje

Specification of Logic Programming Langu

Specification of Logic Programming Languages from Reusable Semantic Building Blocks

✍ J.E. Labra Gayo; J.M. Cueva Lovelle; M.C. Luengo Díez; A. Cernuda del Río 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 268 KB

An operational semantics for specificati

An operational semantics for specifications of abstract data types with error handling

✍ G. Engels; U. Pletat; H. -D. Ehrich 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 947 KB

On the degree of complexity of sententia

On the degree of complexity of sentential logics.II. An example of the logic with semi-negation

✍ Jacek Hawranek; Jan Zygmunt 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 597 KB

Axiomatic extensions of the constructive

Axiomatic extensions of the constructive logic with strong negation and the disjunction property

✍ Andrzej Sendlewski 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 705 KB

On the expressivity of feature logics wi

On the expressivity of feature logics with negation, functional uncertainty, and sort equations

✍ Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 1013 KB