File:Sequent calculus proof tree example.png
No higher resolution available.
Sequent_calculus_proof_tree_example.png (617 × 501 pixels, file size: 14 KB, MIME type: image/png)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
| Description |
An exmple of using sequent calculus for proving a formula in propositional logic. Created by myself, free for anyone's use. |
| Source | Transferred from en.wikipedia to Commons by FastilyClone using MTC!. |
| Author | Dan Gluck at Wikipedia |
Licensing
|
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
Original upload log
The original description page was here. All following user names refer to en.wikipedia.
| Date/Time | Dimensions | User | Comment |
|---|---|---|---|
| 2016-06-25 13:42:38 | 617× 501× | Dan Gluck | An exmple of using sequent calculus for proving a formula in propositional logic. Created by myself, free for anyone's use. {{PD-self}} |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 01:05, 29 June 2016 | | 617 × 501 (14 KB) | FastilyClone | Transferred from en.wikipedia (MTC!) |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
- Usage on hu.wikipedia.org
