Verfasser Suchresultate :: Subito Katalog

1

Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics

von Greati, Vitor
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Proof Search on Bilateralist Judgments over Non-deterministic Semantics

von Greati, Vitor
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: