✦ LIBER ✦

Two Natural Deduction Systems for Hybrid Logic: A Comparison

✍ Scribed by Torben Braüner

Book ID: 111558306
Publisher: Springer Netherlands
Year: 2004
Tongue: English
Weight: 146 KB
Volume: 13
Category: Article
ISSN: 0925-8531
DOI: 10.1023/a:1026187215321

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Double Deduction System for Quantum Lo

A Double Deduction System for Quantum Logic Based On Natural Deduction

✍ Yannis Delmas-Rigoutsos 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 152 KB

A natural deduction system of temporal l

A natural deduction system of temporal logic

✍ Renwei Li 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 529 KB

A normalizing system of natural deductio

A normalizing system of natural deduction for intuitionistic linear logic

✍ Sara Negri 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 135 KB

A deduction theorem schema for deductive

A deduction theorem schema for deductive systems of propositional logics

✍ Janusz Czelakowski; Wiesław Dziobiak 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 326 KB

We propose a new schema for the deduction theorem and prove that the deductive system S of a propositional logic L fulfills the proposed schema if and only if there exists a finite set A(p, q) of propositional formulae involving only propositional letters p and q such that A(p, p) C\_ L and p, A(p,

A Natural Extension of Natural Deduction

✍ Peter Schroeder-Heister 📂 Article 📅 1984 🏛 Association for Symbolic Logic 🌐 English ⚖ 355 KB

Automated Deduction Techniques for Class

Automated Deduction Techniques for Classification in Description Logic Systems

✍ M. Paramasivam; David A. Plaisted 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 576 KB