414 search results - page 15 / 83 » Resolution for Intuitionistic Logic |
76
Voted
AML
1998
14 years 11 months ago
1998
A natural deduction system NDIL described here admits normalization and has subformula prop
IGPL
2010
14 years 10 months ago
2010
CORR
2009
Springer
14 years 9 months ago
2009
Springer
CLIMA
2010
15 years 1 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...
APLAS
2010
ACM
14 years 12 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...