Abstract | ||
---|---|---|
We present a natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. The system extends the natural deduction construction of the classical propositional logic. This will open the prospect to apply our technique as an automatic reasoning tool in a deliberative decision making framework across various AI applications. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/11853886_7 | JELIA |
Keywords | Field | DocType |
natural deduction calculus,automatic reasoning tool,various ai application,natural deduction construction,propositional linear-time temporal logic,classical propositional logic,deliberative decision,propositional logic,natural deduction | Interval temporal logic,Computer science,Natural deduction,Zeroth-order logic,Propositional calculus,Sequent calculus,Rule of inference,Calculus,Propositional variable,Curry–Howard correspondence | Conference |
Volume | ISSN | ISBN |
4160 | 0302-9743 | 3-540-39625-X |
Citations | PageRank | References |
8 | 0.74 | 4 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alexander Bolotov | 1 | 117 | 14.42 |
Artie Basukoski | 2 | 18 | 3.92 |
Oleg Grigoriev | 3 | 22 | 3.36 |
Vasilyi Shangin | 4 | 33 | 4.91 |