The basic constructive logic for absolute consistency defined with a propositional falsity constant
ISSN: 1367-0751, 1368-9894
Ano de publicación: 2008
Volume: 16
Número: 3
Páxinas: 275-291
Tipo: Artigo
ISSN: 1367-0751, 1368-9894
Ano de publicación: 2008
Volume: 16
Número: 3
Páxinas: 275-291
Tipo: Artigo