Filter
Sökt på: Böcker av Norihiro Kamide
Filter
totalt 2 träffar
Extending Resource-Aware Logics
pocket,
2011,
Engelska,
ISBN 9783844324280
This book introduces some extensions of resource- aware logics, and shows some fundamental (e.g., cut- elimination and completeness) theorems for these extensions. By …
Proof Theory of N4-Paraconsistent Logics
pocket,
2015,
Engelska,
ISBN 9781848901674