検索結果- 英語 - 英語
検索内容:
Kripke model
名詞
(logic)
A
Kripke
frame
together
with
either
one
of
the
following:
(1)
a
function
associating
each
of
the
frame's
worlds
to
a
set
of
prime
formulae
which
are
"true"
for
the
given
world,
(2)
a
function
associating
each
prime
formula
to
a
set
of
worlds
for
which
the
prime
formula
is
"true",
(3)
a
forcing
relation
between
worlds
and
prime
formulae.
Additionally,
there
is
a
set
of
rules
for
deducing
(from
the
given
function
or
relation)
what
formulae
are
forced
to
be
true
by
a
given
world.
(The
set
of
rules
depends
on
which
logic
the
Kripke
model
is
being
applied
to,
whether
one
of
several
modal
logics
or
intuitionistic
logic).
日本語の意味
論理学において、Kripkeモデルとは、Kripkeフレームに加え、次のうちのいずれかを付加したものを指します。1) 各世界に対して、その世界で真とされる原始公式（素公式）の集合を割り当てる関数、2) 各原始公式に対して、その公式が真となる世界の集合を割り当てる関数、または3) 世界と原始公式の間の強制関係です。さらに、これらの関数または関係から、各世界で真とされる公式を導出する規則の集合が定められ、適用される論理体系（例えば、複数のモーダル論理や直観主義論理など）に依存します。
関連語
utility model
関連語
new modelize
関連語
（ present singular third-person ）
（ participle present ）
（ participle past ）
（ past ）
box model
関連語
Standard Model
固有名詞
小辞
日本語の意味
粒子物理学における理論。既知の亜原子粒子の動態は、電磁相互作用、弱い相互作用、強い核力相互作用という三つの基本的な相互作用によって制御されるとする考え方。
関連語
quark model
名詞
日本語の意味
物理学における理論モデルで、束縛されたクォークと反クォークが2つまたは3つのグループを形成することで、バリオンおよびメソンの構成を整理し、標準模型の一部として位置付けられる。
meta model
関連語
meta-model
関連語
loading!
Loading...
