ADC method of proof search for intuitionistic propositional natural deduction

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of logic and computation 2016-02, Vol.26 (1), p.395-408
Hauptverfasser: Mints, G., Steinert-Threlkeld, SH
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:
ISSN:0955-792X
1465-363X
DOI:10.1093/logcom/ext032