Falsification, natural deduction and bi-intuitionistic logic

Subjects

Subjects :

Judgment
Natural deduction
Logic
Computer science
010102 general mathematics
0102 computer and information sciences
Intuitionistic logic
01 natural sciences
Theoretical Computer Science
Arts and Humanities (miscellaneous)
010201 computation theory & mathematics
Hardware and Architecture
Calculus
0101 mathematics
Software

Details

ISSN :

1465363X and 0955792X

Volume :

26

Database :

OpenAIRE

Journal :

Journal of Logic and Computation

Accession number :

edsair.doi...........85d5121b881a1052c4184350c424c443

Full Text :

https://doi.org/10.1093/logcom/ext035