Editing
Technical Report WV-03-10 1 December 2003
Jump to navigation
Jump to search
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
Title: Technical Report WV-03-10 1 December 2003 Research Question: How can the proof search for first-order linear logic be structured to make it more amenable to operational semantics and proof-theoretic analysis? Methodology: The researchers introduced a new system called G-Forum, which is a restriction of Miller's Forum system. This system only allows certain types of formulae, making the proofs more structured and easier to analyze. Results: The researchers showed that G-Forum is equivalent to full first-order linear logic, despite the restrictions placed on the formulae. They also developed a cut elimination procedure for G-Forum, demonstrating that it has good proof-theoretic qualities. Implications: The development of G-Forum has important implications for the field. It provides a more manageable system for studying the operational semantics of proofs, and it offers a new approach to proof-theoretic analysis. This could lead to advancements in the application of linear logic to domains like concurrency and planning. Link to Article: https://arxiv.org/abs/0312002v1 Authors: arXiv ID: 0312002v1 [[Category:Computer Science]] [[Category:Forum]] [[Category:Proof]] [[Category:It]] [[Category:System]] [[Category:G]]
Summary:
Please note that all contributions to Simple Sci Wiki may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see
Simple Sci Wiki:Copyrights
for details).
Do not submit copyrighted work without permission!
Cancel
Editing help
(opens in new window)
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Create account
Log in
Namespaces
Page
Discussion
English
Views
Read
Edit
Edit source
View history
More
Search
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Tools
What links here
Related changes
Special pages
Page information