Proof Systems for Super-Strict Implication

DSpace Repositorium (Manakin basiert)

Proof Systems for Super-Strict Implication

Autor(en): Gherardi, Guido; Orlandelli, Eugenio; Raidl, Eric
Tübinger Autor(en):
Raidl, Eric
Erschienen in: Studia Logica (2024), Bd. 112, H. 1-2, S. 249-294
Verlagsangabe: Dordrecht : Springer
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1007/s11225-023-10048-3
ISSN: 0039-3215
DDC-Klassifikation: 510 - Mathematik
610 - Medizin, Gesundheit
004 - Informatik
300 - Sozialwissenschaften, Soziologie, Anthropologie
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: