Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings

Front Cover
Springer Science & Business Media, Feb 13, 2009 - Computers - 269 pages

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.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A Logical Perspective
1
An Application of Logic to Logic
23
Some Second Order Set Theory
36
Connection Matrices for MSOLDefinable Structural Invariants
51
Knowledge Games and Tales from the East
65
A Para Consistent Fuzzy Logic
77
From Philosophical to Industrial Logics
89
Game Quantification Patterns
116
Algebraic Study of LatticeValued Logic and LatticeValued Modal Logic
170
A General Setting for the Pointwise Investigation of Determinacy
185
A TwoDimensional Hybrid Logic of Subset Spaces
196
A Unified Framework for Certificate and Compilation for QBF
210
Towards Decidability of Conjugacy of Pairs and Triples
224
Gautama Ontology Editor Based on Nyaya Logic
232
Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming
243
Dialogue with Nagarjuna
257

Extensive Questions
131
An Analytic Logic of Aggregation
146
Instantial Relevance in Polyadic Inductive Logic
162

Other editions - View all

Common terms and phrases