Back to Search Start Over

A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?

Authors :
Fiorentini, C.
Ferrari, M.
Publication Year :
2020

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.od......3660..2ff3336d2967d47f401078675f0cb84d

Tools

Authors Abstract Subjects Details