On a Correspondence Between Two Kinds of Bilateral Proof-Systems
The paper shows the deductive equivalence between bilateral (and multilateral) proof systems based on signed formulas and proof systems based on multiple derivability relations.
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2025-03-01
|
| Series: | Logics |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2813-0405/3/2/2 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849432332707037184 |
|---|---|
| author | Nissim Francez |
| author_facet | Nissim Francez |
| author_sort | Nissim Francez |
| collection | DOAJ |
| description | The paper shows the deductive equivalence between bilateral (and multilateral) proof systems based on signed formulas and proof systems based on multiple derivability relations. |
| format | Article |
| id | doaj-art-47438fbdc66648ffbb327d58cccabe7a |
| institution | Kabale University |
| issn | 2813-0405 |
| language | English |
| publishDate | 2025-03-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Logics |
| spelling | doaj-art-47438fbdc66648ffbb327d58cccabe7a2025-08-20T03:27:23ZengMDPI AGLogics2813-04052025-03-0132210.3390/logics3020002On a Correspondence Between Two Kinds of Bilateral Proof-SystemsNissim Francez0Computer Science Department, The Technion-IIT, Haifa 3200003, IsraelThe paper shows the deductive equivalence between bilateral (and multilateral) proof systems based on signed formulas and proof systems based on multiple derivability relations.https://www.mdpi.com/2813-0405/3/2/2Bilateralismmultilateralismsigned formulasmultiple derivability relations |
| spellingShingle | Nissim Francez On a Correspondence Between Two Kinds of Bilateral Proof-Systems Logics Bilateralism multilateralism signed formulas multiple derivability relations |
| title | On a Correspondence Between Two Kinds of Bilateral Proof-Systems |
| title_full | On a Correspondence Between Two Kinds of Bilateral Proof-Systems |
| title_fullStr | On a Correspondence Between Two Kinds of Bilateral Proof-Systems |
| title_full_unstemmed | On a Correspondence Between Two Kinds of Bilateral Proof-Systems |
| title_short | On a Correspondence Between Two Kinds of Bilateral Proof-Systems |
| title_sort | on a correspondence between two kinds of bilateral proof systems |
| topic | Bilateralism multilateralism signed formulas multiple derivability relations |
| url | https://www.mdpi.com/2813-0405/3/2/2 |
| work_keys_str_mv | AT nissimfrancez onacorrespondencebetweentwokindsofbilateralproofsystems |