zhōng jiān luó ji shì zài zhí jué luó ji hé jīng diǎn luó ji zhī jiān de zhōng jiè， zhè shì zài tā men bāo hán zài zhí jué luó ji zhōng bù kě zhèng míng de dìng lǐ， ér bù dǎo zhì wán zhěng de jīng diǎn luó ji de yì yì shàng de。 zhè zhǒng luó ji yě jiào zuò chāo zhí jué huò cì jīng diǎn luó ji。
yòu yī xiē bù tóng de zhōng jiān luó ji ， tōng cháng shì xiàng zhí jué luó ji zēng jiā yī gè huò duō gè gōng lǐ 'ér huò dé de。 zhè zhǒng luó ji de lì zǐ yòu :
ruò pái zhōng lǜ luó ji (kc,jankov luó ji， demorgan dìng lǜ luó ji ):ipc+¬¬p ∨ ¬p
gē dé 'ěr -dummett luó ji (lc):ipc+(p → q)∨ (q→ p)
kreisel-putnam luó ji :ipc+(¬p→ (q∨ r))→ ((¬p→ q)∨ (¬p→ r))
medvedev yòu xiàn wèn tí de luó ji
realizability luó ji
scott luó ji :ipc+((¬¬p→ p)→ (p∨ ¬p))→ (¬¬p∨ ¬p)
smoryński luó ji :ipc+(¬q→ p)→ (((p→ q)→ p)→ p)
yán jiū zhōng jiān luó ji de gōng jù lèi sì yú zhí jué luó ji suǒ shǐ yòng de， bǐ rú kripke yǔ yì。 |
|
|