論文の概要: A Formal Treatment of Contract Signature

• arxiv url: http://arxiv.org/abs/2002.09827v3
• Date: Wed, 24 Nov 2021 02:15:54 GMT
• ステータス: 処理完了
• システム内更新日: 2022-12-29 09:56:45.363433
• Title: A Formal Treatment of Contract Signature
• Title（参考訳）: 契約署名の形式的治療
• Authors: Ron van der Meyden
• Abstract要約: 本稿では,法的契約の署名プロセスの論理的理解を発展させる。 ブロックチェーンプラットフォーム上のスマートコントラクトを法的に認識するためのアプリケーションによって動機付けられている。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: 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.
• Abstract（参考訳）: 本論文は,ブロックチェーンプラットフォーム上でのスマートコントラクトの法的認識への応用を動機とした,法的コントラクトの署名プロセスの論理的理解を開発する。 いくつかの公理や推論規則が開発され、ある内容が署名されたという事実から、契約形成のための『心のミート』前提条件を正当化することができる。 この論文は「受理者」のプロセスに加えて、物理的な会議で共通のコピーに署名を置くのではなく、当事者を別々に(多分、遠隔で)契約の異なるコピーに署名させることで、2つ以上の当事者間の契約を実施させる法的プロセスである「受諾者の署名」も考慮している。 対数におけるシグネチャの十分な説明は、構文的自己参照を持つ論理の恩恵を受ける、と論じられている。 用いた公理は形式的意味論によって支えられ、さらに多くの論理特性が研究されている。 特に、その論理は、契約が署名されたとき、当事者は単に同意するだけでなく、契約の条件に関する相互合意(共通知識のような概念)にあることを暗示している。

関連論文リスト

• DELTA: Pre-train a Discriminative Encoder for Legal Case Retrieval via Structural Word Alignment [55.91429725404988]
  判例検索のための識別モデルであるDELTAを紹介する。 我々は浅層デコーダを利用して情報ボトルネックを作り、表現能力の向上を目指しています。 本手法は, 判例検索において, 既存の最先端手法よりも優れている。
  論文  参考訳（メタデータ） (2024-03-27T10:40:14Z)
• Revocable Quantum Digital Signatures [57.25067425963082]
  我々は、LWE仮定から取り消し可能な署名キーでデジタル署名を定義し、構築する。 このプリミティブでは、署名キーは、ユーザーが多くのメッセージに署名できる量子状態である。 一度キーが取り消されたら、キーの最初の受信者が署名する能力を失うことを要求します。
  論文  参考訳（メタデータ） (2023-12-21T04:10:07Z)
• Unsupervised Mapping of Arguments of Deverbal Nouns to Their Corresponding Verbal Labels [52.940886615390106]
  デバーバル名詞は英語の文章でよく使われる動詞で、出来事や行動やその議論を記述している。 名前付けされた構成の引数を扱うために存在する解決策は意味論的アノテーションに基づいている。 本稿では,より統語的アプローチを導入し,デバーバル名詞の議論を対応する動詞構成にマッピングする。
  論文  参考訳（メタデータ） (2023-06-24T10:07:01Z)
• Formal Modeling and Analysis of Legal Contracts using ContractCheck [0.0]
  textitContractCheckは、法律契約、特に販売購入協定(SPA)の整合性解析を可能にする この分析は、SPAの節の実行のための前提の符号化と、一階述語論理の決定可能な断片を用いた制約の提案に依存している。
  論文  参考訳（メタデータ） (2022-12-06T22:03:11Z)
• ConReader: Exploring Implicit Relations in Contracts for Contract Clause Extraction [84.0634340572349]
  法律契約における暗黙の関係をモデル化し,契約条項の自動抽出(CCE)について検討する。 本研究ではまず,契約の複雑性問題を包括的に分析し,契約に共通する3つの暗黙の関係を抽出する。 本稿では,上記の3つの関係を利用して,より優れたコントラクト理解とCCEの改善を実現するための新しいフレームワークであるConReaderを提案する。
  論文  参考訳（メタデータ） (2022-10-17T02:15:18Z)
• Modelling Business Agreements in the Multimodal Transportation Domain through Ontological Smart Contracts [0.5735035463793007]
  Ride2Railプロジェクトは、ブロックチェーンを使用して、異なる利害関係者間の合意をスマートコントラクトとして記録することを調査した。 本稿では,オントロジ的スマートコントラクトの概念を特定のドメインに適用できることを示すために,Ride2Rail Ontology for Agreementsの開発について述べる。
  論文  参考訳（メタデータ） (2022-09-05T09:58:42Z)
• Computable Contracts in the Financial Services Industry [1.713291434132985]
  計算可能な契約は、コンピュータが読み、理解し、実行できる契約である。 金融サービス業界における計算可能な契約の使用は、顧客エクスペリエンスの大幅な改善につながると我々は主張する。
  論文  参考訳（メタデータ） (2022-07-03T00:06:39Z)
• Detecting Logical Relation In Contract Clauses [94.85352502638081]
  契約における節間の論理的関係の抽出を自動化する手法を開発する。 結果として得られたアプローチは、コントラクト作者が節間の潜在的な論理的衝突を検出するのに役立つだろう。
  論文  参考訳（メタデータ） (2021-11-02T19:26:32Z)
• ContractNLI: A Dataset for Document-level Natural Language Inference for Contracts [39.75232199445175]
  契約書に対する文書レベルの自然言語推論(NLI)を提案する。 システムには一連の仮説と契約が与えられ、それぞれの仮説が「関連づけられている」か、「矛盾している」か、「言及されていない」か(中立である)を分類するよう求められる。 これまでで最大のコーパスを607のアノテート契約でリリースしています。
  論文  参考訳（メタデータ） (2021-10-05T03:22:31Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。