最終更新日：2025/11/30
(logic) A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both additive
and multiplicative
versions of the typical binary connectives and truth constants; and which has a pair of modal, exponential
operators for resource management, to help make up for the loss of the two structural rules.
音声機能が動作しない場合はこちらをご確認ください
正解を見る
linear logic
編集履歴（0）
元となった辞書の項目
linear logic
名詞
(logic)
A
logic
in
which
two
structural
rules
are
missing
from
its
sequent
calculus:
those
for
weakening
and
contraction;
which
has
some
extra
logical
connectives,
so
that
it
has
both
"additive"
and
"multiplicative"
versions
of
the
typical
binary
connectives
and
truth
constants;
and
which
has
a
pair
of
modal,
"exponential"
operators
for
resource
management,
to
help
make
up
for
the
loss
of
the
two
structural
rules.
日本語の意味
線形論理（linear logic）は、順序付けられた論理体系において、弱化規則と収縮規則という2つの構造的規則が除外されている論理体系です。 / この体系は、従来の二項論理結合子や真理値定数に対して、加法的（additive）および乗法的（multiplicative）なバリエーションが存在し、加えて資源管理の補完として、モーダルな「指数」演算子のペアを導入している点が特徴です。
意味（1）
(logic)
A
logic
in
which
two
structural
rules
are
missing
from
its
sequent
calculus:
those
for
weakening
and
contraction;
which
has
some
extra
logical
connectives,
so
that
it
has
both
"additive"
and
"multiplicative"
versions
of
the
typical
binary
connectives
and
truth
constants;
and
which
has
a
pair
of
modal,
"exponential"
operators
for
resource
management,
to
help
make
up
for
the
loss
of
the
two
structural
rules.
（ plural ）
