A labelled natural deduction system for linear temporal logic

Studia Logica 75 (3):345 - 376 (2003)
Abstract
The paper is devoted to the concise description of some Natural Deduction System (ND for short) for Linear Temporal Logic. The system's distinctive feature is that it is labelled and analytical. Labels convey necessary semantic information connected with the rules for temporal functors while the analytical character of the rules lets the system work as a decision procedure. It makes it more similar to Labelled Tableau Systems than to standard Natural Deduction. In fact, our solution of linearity representation is rather independent of the underlying proof method, provided that some form of (analytic) cut is admissible. We will also discuss some generalisations of the system and compare it with other formalizations of linearity.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/B:STUD.0000009565.98020.9b
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,248
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Linear Time in Hypersequent Framework.Andrzej Indrzejczak - 2016 - Bulletin of Symbolic Logic 22 (1):121-144.

Add more citations

Similar books and articles
Varieties of Linear Calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Two Natural Deduction Systems for Hybrid Logic: A Comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
A Natural Deduction System for First Degree Entailment.Allard Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
Added to PP index
2009-01-28

Total downloads
23 ( #224,415 of 2,192,212 )

Recent downloads (6 months)
1 ( #289,802 of 2,192,212 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature