Old Web
English
Sign In
Acemap
>
Paper
>
COMBINATORY LOGIC AND $ lambda $-CALCULUS FOR CLASSICAL LOGIC
COMBINATORY LOGIC AND $ lambda $-CALCULUS FOR CLASSICAL LOGIC
2000
Kensuke Baba
Yukiyoshi Kameyama
Sachio Hirokawa
Keywords:
Algorithm
Zeroth-order logic
Predicate logic
Predicate functor logic
Dynamic logic (modal logic)
Higher-order logic
Substructural logic
Many-valued logic
Intermediate logic
Mathematics
Minimal logic
Classical logic
Calculus
Computer science
Curry–Howard correspondence
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]