Search results- English - English
Keyword:
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）なバリエーションが存在し、加えて資源管理の補完として、モーダルな「指数」演算子のペアを導入している点が特徴です。
Related Words
sentential logics
Noun
form-of
plural
Japanese Meaning
「sentential logic」（命題論理）の複数形です。つまり、単数形の「sentential logic」の複数形として扱われます。
relevance logics
term logics
Noun
form-of
plural
Japanese Meaning
「term logic」（項論理）の複数形。すなわち、項論理に基づいた伝統的な論理体系や方法論（例: アリストテレスの論理学など）を複数示す表現。
Hoare logics
Noun
form-of
plural
Japanese Meaning
この語は『Hoare logic』（ホーア論理）の複数形です。つまり、ホーア論理を複数で表現する場合に用いられます。
intensional logics
intuitionistic logics
predicate logics
classical logics
constructive logics
Noun
form-of
plural
Japanese Meaning
この単語は「constructive logic」の複数形であり、活用形としては複数形を示しています。
loading!
Loading...
All Loaded
Error
English - English
Words
Words（1182733）
Add Word
Sentence
Sentences
（1692699）
Add sentence
Others
Editor
（31）
Editing Guideline
Credit
