Ohloh by Black Duck

 Follow @ Meta   Join Now

 

Projects

Browse Projects By Tags Add a New Project
Selected Tags
Related Tags

Browsing projects by Tag(s)

Select a tag to browse associated projects and drill deeper into the tag cloud.

Showing page 1 of 1

eds4ltl

Compare

An Equational Deductive System for Linear Temporal LogicThis site contains the TeX files for a paper titled ``An Equational Deductive System for Linear Temporal Logic'' by undergraduate student David Vega and professor J. Stanley Warford at Pepperdine University. The research was supported ... [More] by the Tooma Undergraduate Research Fellowship Program, Summer 2009. AbstractThis paper presents an equational deductive system for linear temporal logic. It differs from previous developments of such systems in four respects. First, it presents a numbered list of axioms and theorems to indicate which formulas are assumed, which formulas are derived, and for those that are derived, which previous formulas they depend on. Second, it gives a proof of every theorem. Third, the proofs are governed by an equational deductive system as opposed to the older Hilbert-style deductive systems. Fourth, it presents several new and interesting linear temporal theorems. [Less]

0
 
  0 reviews  |  0 users  |  3,805 lines of code  |  1 current contributor  |  Analyzed about 10 hours ago
  equational logic deductive temporal linear system
 
 
 
 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.