2152 search results - page 49 / 431 » On Automating the Calculus of Relations |
145
click to vote
ASM
2010
ASM
15 years 24 days ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
86
Voted
CSL
2004
Springer
15 years 13 days ago
2004
Springer
85
Voted
CADE
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. Undefined terms are commonplace in mathematics, particularly in calculus. The traditional approach to undefinedness in mathematical practice is to treat undefined terms a...
97
Voted
ISMIS
2005
Springer
15 years 6 months ago
2005
Springer
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
109
Voted
CADE
2006
Springer
16 years 27 days ago
2006
Springer
Abstract. Inspired by the Curry-Howard correspondence, we study normalisation procedures in the depth-bounded intuitionistic sequent calculus of Hudelmaier (1988) for the implicati...