Logic and Its Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540927006, 9783540927013

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Gautama – Ontology Editor Based on Nyaya Logic

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92701-3_17 ◽

2008 ◽

pp. 232-242 ◽

Author(s):

G. S. Mahalakshmi ◽

T. V. Geetha ◽

Arun Kumar ◽

Dinesh Kumar ◽

S. Manikandan

Download Full-text

Instantial Relevance in Polyadic Inductive Logic

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92701-3_11 ◽

2008 ◽

pp. 162-169 ◽

Author(s):

Jürgen Landes ◽

Jeff Paris ◽

Alena Vencovská

Keyword(s):

Inductive Logic ◽

Instantial Relevance

Download Full-text

A Unified Framework for Certificate and Compilation for QBF

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92701-3_15 ◽

2008 ◽

pp. 210-223

Author(s):

Igor Stéphan ◽

Benoit Da Mota

Keyword(s):

Unified Framework

Download Full-text

The Art of Non-asserting: Dialogue with Nāgārjuna

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92701-3_19 ◽

2008 ◽

pp. 257-268 ◽

Author(s):

Marie-Hélène Gorisse

Download Full-text

From Philosophical to Industrial Logics

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92701-3_7 ◽

2008 ◽

pp. 89-115 ◽

Author(s):

Moshe Y. Vardi

Download Full-text

Machine Checking Proof Theory: An Application of Logic to Logic

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92701-3_2 ◽

2008 ◽

pp. 23-35 ◽

Author(s):

Rajeev Goré

Keyword(s):

Download Full-text

A Two-Dimensional Hybrid Logic of Subset Spaces

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92701-3_14 ◽

2008 ◽

pp. 196-209 ◽

Author(s):

Yi N. Wang

Keyword(s):

Hybrid Logic ◽

Two Dimensional

Download Full-text

Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92701-3_12 ◽

2008 ◽

pp. 170-184 ◽

Author(s):

Yoshihiro Maruyama

Keyword(s):

Download Full-text

Extensive Questions

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92701-3_9 ◽

2008 ◽

pp. 131-145 ◽

Author(s):

Emmanuel J. Genot

Download Full-text

Some Second Order Set Theory

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92701-3_3 ◽

2008 ◽

pp. 36-50 ◽

Author(s):

Joel David Hamkins

Keyword(s):

Second Order ◽

Download Full-text