1950 search results - page 4 / 390 » Lambda-Free Logical Frameworks |
JAR
2010
13 years 5 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
EUSFLAT
2009
13 years 5 months ago
2009
The present article dedicates itself to fuzzy modelling of data
ICTAC
2005
Springer
14 years 27 days ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
ECAI
2000
Springer
13 years 11 months ago
2000
Springer
Defeasible logic is an efficient non-monotonic logic that is defined only proof-theoretically. It has potential application in some legal domains. We present here an argumentatio...
LPNMR
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...