1549 search results - page 6 / 310 » On the rules of intermediate logics |
IGPL
2008
13 years 8 months ago
2008
We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules. Key words: admissible rule, independent basi...
ENTCS
2007
13 years 8 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
FUZZY
2001
Springer
14 years 1 months ago
2001
Springer
RSCTC
2000
Springer
14 years 11 days ago
2000
Springer
RULEML
2004
Springer
14 years 2 months ago
2004
Springer
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.