414 search results - page 15 / 83 » Resolution for Intuitionistic Logic |
107
Voted
AML
1998
15 years 3 months ago
1998
A natural deduction system NDIL described here admits normalization and has subformula prop
96
Voted
IGPL
2010
15 years 2 months ago
2010
73
Voted
CORR
2009
Springer
15 years 1 months ago
2009
Springer
128
Voted
CLIMA
2010
15 years 5 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
126
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...