Universal Quantification in Categorical Logic Programming: Categorical operational semantics for universal quantification in hereditarily Harrop logic programming - Image 1

£43.00

VDM Verlag Universal Quantification in Categorical Logic Programming: Categorical operational semantics for universal quantification in hereditarily Harrop logic programming

Name: Universal Quantification in Categorical Logic Programming: Categorical operational semantics for universal quantification in hereditarily Harrop logic programming
Brand: VDM Verlag
Price: 43.0 GBP
Availability: InStock

Mathematics

It has never been this cheap. We have no record of a lower price.

£43 today · cheaper than every other day in the last 24 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 640 days • 640 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 640 days • 1 price levels

Days at Price

Price Analysis

Most common price: £43 (640 days, 100.0%)

Price range: £43 - £43

Price levels: 1 different prices over 640 days

Description

As the subject of logic programming has grown, demand for more expressive power and efficiency has led language designers to import constructs from other programming paradigms. Given the substantial gap between semantic methods in the functional, imperative and declarative programming communities, it is hard to evaluate the effectiveness of proposals to add imported features to logic programming, unless there is an agreed-upon common framework. A categorical foundation for logic programming is an essential tool in this endeavour. In this work we show how to handle universal quantification in categorical logic programming via indexed categories. We define categorical syntax via tau-categories, and resolution over such categories for hereditarily Harrop programs and goals, and give a categorical operational semantics with respect to which resolution is shown sound and complete. Our model theory is a categorical generalization of the Kowalski-Van Emden fixed point semantics based on indexing over programs in order to capture program augmentation and state change. This framework is sufficiently broad to handle constraint logic programming and also a treatment of abstract datatypes.

Product Specifications

Brand: VDM Verlag
Format: paperback
ASIN: 3639368282
Category: Books > Subjects > Science, Nature & Maths > Mathematics
Domain: Amazon UK
Release Date: 24 August 2011
Listed Since: 26 August 2011

Barcode

No barcode data available

VDM Verlag Universal Quantification in Categorical Logic Programming: Categorical operational semantics for universal quantification in hereditarily Harrop logic programming

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Type-Logical Semantics

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics, Volume 141)

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Quantifiers: Logics, Models and Computation: Volume Two: Contributions: 249 (Synthese Library, 249)

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)

Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)

Theory of Language Syntax: Categorial Approach: 42 (Nijhoff International Philosophy Series, 42)

Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Logic for Computer Science and Artificial Intelligence

Bounded Variable Logics and Counting: A Study in Finite Models: 9 (Lecture Notes in Logic, Series Number 9)

Oxford University Press - Fragments of First-Order Logic

Lectures on Infinitary Model Theory: 46 (Lecture Notes in Logic, Series Number 46)

Eliminating The Universe: Logical Properties Of Natural Language

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)