7623 search results - page 94 / 1525 » Constructive Volume Modeling |
121
Voted
FIMH
2003
Springer
15 years 11 months ago
2003
Springer
199
click to vote
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
126
Voted
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
158
Voted
ADL
1998
Springer
15 years 10 months ago
1998
Springer
