3658 search results - page 367 / 732 » The logic of proofs, semantically |
166
click to vote
WSPI
2004
15 years 8 months ago
2004
Paradoxes, particularly Tarski's liar paradox, represent an ongoing challenge that have long attracted special interest. There have been numerous attempts to give either a for...
163
click to vote
JSYML
2002
15 years 6 months ago
2002
Fibring is recognized as one of the main mechanisms in combining logics, with great significance in the theory and applications of mathematical logic. However, an open challenge t...
161
click to vote
TABLEAUX
2007
Springer
16 years 1 months ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
186
click to vote
ACL2
2006
ACM
16 years 26 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
203
click to vote
TCC
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...