Search results- English - English
Keyword:
propositional logics
Noun
form-of
plural
Japanese Meaning
これは「propositional logic」の複数形を示しており、複数の命題論理を指す場合に用いられます。
logic programming
Noun
uncountable
Japanese Meaning
論理プログラミング：形式論理に基づいたパラダイムを用いて行うプログラミング手法 / 論理に基づくプログラミング：論理の理論と手法を利用してプログラムを記述する方法
relevance logic
Noun
Japanese Meaning
前件と後件が実質的な関連性を有する必要があるという条件の下、古典論理の物質的含意では捉えられない含意の側面を捉えることを目指す、非古典論理の一種。
Related Words
paraconsistent logics
Noun
form-of
plural
Japanese Meaning
『パラコンサイステント論理』の複数形。すなわち、単数形である『paraconsistent logic』の複数形を指します。
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
Hoare logic
Noun
countable
uncountable
Japanese Meaning
ホア論理：コンピュータプログラムの正当性（正しさ）を論理的に検証するための形式的規則体系。ホア・トリプル（各操作前後のシステム状態の記述）に基づいて、プログラムの挙動を証明するための方法論。
Related Words
mytho-logic
Noun
uncountable
Japanese Meaning
神話を支える準論理的な体系、すなわち神話の構造をなす反対関係や隠喩などを含む論理的（とは言い難いが）枠組み / 神話に内在する疑似論理体系、反対や比喩といった要素を通して表現される論理性
fuzzy logics
Noun
form-of
plural
Japanese Meaning
「ファジー論理」（あいまい論理）の複数形。すなわち、複数のあいまい論理体系を指す。
loading!
Loading...
All Loaded
Error
English - English
Words
Words（1182733）
Add Word
Sentence
Sentences
（1692699）
Add sentence
Others
Editor
（31）
Editing Guideline
Credit
