Last Updated：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.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
linear logic
Edit Histories（0）
Source Word
linear logic
Noun
(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.
Japanese Meaning
線形論理（linear logic）は、順序付けられた論理体系において、弱化規則と収縮規則という2つの構造的規則が除外されている論理体系です。 / この体系は、従来の二項論理結合子や真理値定数に対して、加法的（additive）および乗法的（multiplicative）なバリエーションが存在し、加えて資源管理の補完として、モーダルな「指数」演算子のペアを導入している点が特徴です。
Sense（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 ）
