论文标题
合同签名的正式处理
A Formal Treatment of Contract Signature
论文作者
论文摘要
该论文对法律合同签名的流程有逻辑理解，这是由法律认可区块链平台上的智能合约的申请。制定了许多公理和推理规则，可以用来证明``思想的会议''的前提是合同形成的前提，从某些内容已签署的事实中。除了``优惠和接受''过程外，该论文还考虑``同行中的签名''，该法律程序允许通过在合同的合同中（可能是远见）签署不同副本，而不是将他们的签名放在普通副本上，从而允许两个或多个当事方之间的合同生效。有人认为，同行中签名的令人满意的描述从具有句法自我参考的逻辑中受益。所使用的公理由形式语义支持，并研究了逻辑的许多进一步特性。特别是，这表明逻辑表明，签署合同后，当事各方不仅同意，而且是关于合同条款的共同协议（一个共同的知识般的概念）。
The paper develops a logical understanding of processes for signature of legal contracts, motivated by applications to legal recognition of smart contracts on blockchain platforms. A number of axioms and rules of inference are developed that can be used to justify a ``meeting of the minds'' precondition for contract formation from the fact that certain content has been signed. In addition to an ``offer and acceptance'' process, the paper considers ``signature in counterparts'', a legal process that permits a contract between two or more parties to be brought into force by having the parties independently (possibly, remotely) sign different copies of the contract, rather than placing their signatures on a common copy at a physical meeting. It is argued that a satisfactory account of signature in counterparts benefits from a logic with syntactic self-reference. The axioms used are supported by a formal semantics, and a number of further properties of the logic are investigated. In particular, it is shown that the logic implies that when a contract has been signed, the parties do not just agree, but are in mutual agreement (a common-knowledge-like notion) about the terms of the contract.
