483 search results - page 16 / 97 » Intuitionistic hybrid logic |
97
Voted
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
112
click to vote
CLIMA
2010
15 years 3 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...
112
click to vote
APLAS
2010
ACM
15 years 2 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...
120
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
We consider some existing similarity measures for Atanassov's intuitionistic fuzzy sets (A-IFSs, for short). We show that neither similarity measures treating an A-IF as a sim...
106
click to vote
RTA
1999
Springer
15 years 6 months ago
1999
Springer
We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simu...