Logic and Its Applications

Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings

By: R. Ramanujam (Editor), Sundar Sarukkai (Editor)

Write A Review

Paperback | 18 December 2008

At a Glance

Paperback
280 Pages

Dimensions(cm)
23.5 x 15.88 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceedings of the Third Indian Conference on Logic and Its Applications, ICLA 2009, held in Chennai, India, in January 2009.

The 12 revised full papers presented together with 7 invited lectures were carefully reviewed and selected from numerous submissions. The papers present current research in all aspects of formal logic. They address in detail: algebraic logic and set theory, combinatorics and philosophical logic, modal logics with applications to computer science and game theory, and connections between ancient logic systems and modern systems.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $0.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Reference, Information & Interdisciplinary Subjects Research & Information Information theory Computing & I.T.Computer Science Artificial Intelligence Computer Programming & Software Development Programming & Scripting Languages

Algorithms & Data Structures Mathematical Theory of Computation Compilers & Interpreters

Decisions, Actions, and Games: A Logical Perspective (Invited Talk)	p. 1
Machine Checking Proof Theory: An Application of Logic to Logic (Invited Talk)	p. 23
Some Second Order Set Theory (Invited Talk)	p. 36
Connection Matrices for MSOL-Definable Structural Invariants (Invited Talk)	p. 51
Knowledge, Games and Tales from the East (Invited Talk)	p. 65
A Para Consistent Fuzzy Logic (Invited Talk)	p. 77
From Philosophical to Industrial Logics (Invited Talk)	p. 89
Game Quantification Patterns	p. 116
Extensive Questions: From Research Agendas to Interrogative Strategies	p. 131
An Analytic Logic of Aggregation	p. 146
Instantial Relevance in Polyadic Inductive Logic	p. 162
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic	p. 170
A General Setting for the Pointwise Investigation of Determinacy	p. 185
A Two-Dimensional Hybrid Logic of Subset Spaces	p. 196
A Unified Framework for Certificate and Compilation for QBF	p. 210
Towards Decidability of Conjugacy of Pairs and Triples	p. 224
Gautama - Ontology Editor Based on Nyaya Logic	p. 232
Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming	p. 243
The Art of Non-asserting: Dialogue with N&abar;g&abar;rjuna	p. 257
Author Index	p. 269
Table of Contents provided by Ingram. All Rights Reserved.

Logic and Its Applications

Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Algorithms & Data Structures

Knowledge Graph and Semantic Web Technology based XAI

Coding Theory, Cryptography, and Finite Fields

Technology and Applications

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Addiction by Design

Machine Gambling in Las Vegas

How to Prove It

A Structured Approach

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Introduction to Machine Learning with Python

A Guide for Data Scientists

Python for Algorithmic Trading

From Idea to Cloud Deployment

Learning Algorithms

A Programmer's Guide to Writing Better Code

Code Dependent

Living in the Shadow of AI

Code Dependent

Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction

Computational Modelling with Single Prompts

Series in Computational Physics

Reconceiving AI

The World as an Apple or a Blue Orange

Reconceiving AI

The World as an Apple or a Blue Orange

Learning-Enabled Autonomous Systems

Control, Verification, and Monitoring

Social Network Analytics

Empowering Data Engineering with Deep Learning and Large Language Models

The Metaverse

Hype or Hoax?

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

Fundamentals of Quantum Computing

Solving Problems with Quantum Algorithms and Practical Qiskit Coding

Fundamentals of Data Structures and Algorithms

Fundamentals of Data Structures and Algorithms

Fundamentals of Quantum Computing

Solving Problems with Quantum Algorithms and Practical Qiskit Coding

This product is categorised by