View in EDS HTML Full Text PDF Full Text

Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning.

Saved in:
Bibliographic Details
Title: Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning.
Authors: Beckmann, Arnold1, a.beckmann@swansea.ac.uk, Preining, Norbert2
Source: Journal of Logic & Computation; Sep2018, Vol. 28 Issue 6, p1125-1187, 63p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:0955792X
DOI:10.1093/logcom/exy019