Proof Systems for Super-Strict Implication

Author:

Gherardi, Guido; Orlandelli, Eugenio; Raidl, Eric

Tübinger Autor(en):

Published in:

Studia Logica (2024), Bd. 112, H. 1-2, S. 249-294

Verlagsangabe:

Dordrecht : Springer

Language:

English

Full text:

ISSN:

0039-3215

DDC Classifikation:

510 - Mathematics
610 - Medicine and health
004 - Data processing and computer science
300 - Social sciences, sociology and anthropology

Dokumentart:

Article

This item appears in the following Collection(s)