View in EDS HTML Full Text PDF Full Text

On a Correspondence Between Two Kinds of Bilateral Proof-Systems.

Saved in:
Bibliographic Details
Title: On a Correspondence Between Two Kinds of Bilateral Proof-Systems.
Authors: Francez, Nissim1 (AUTHOR)
Source: Logics. Jun2025, Vol. 3 Issue 2, p2-N.PAG. 5p.
Database: Academic Search Ultimate
Full text is not displayed to guests.
Description
ISSN:28130405
DOI:10.3390/logics3020002