3624 search results - page 271 / 725 » Abstract Algebraic Logic |
143
click to vote
TBILLC
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We introduce an inquisitive semantics for a language of propositional logic, where the interpretation of disjunction is the source of inquisitiveness. Indicative conditio...
164
click to vote
CAEPIA
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to ...
141
click to vote
CIE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
136
click to vote
DEXA
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Database integrity constraints, understood as logical conditions that must hold for any database state, are not fully supported by current database technology. It is typi...
183
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...