1059 search results - page 51 / 212 » Standard Logics Are Valuation-Nonmonotonic |
147
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...
151
click to vote
ENTCS
2010
15 years 6 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
149
click to vote
FLAIRS
2004
15 years 7 months ago
2004
In possibility theory, there are two kinds of possibilistic causal networks depending if possibilistic conditioning is based on the minimum or on the product operator. Similarly t...
154
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...
156
click to vote
FOCS
2005
IEEE
15 years 11 months ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...