二元道義邏輯ddfs系統(tǒng)研究

1、華東師范大學(xué)碩士學(xué)位論文二元道義邏輯DDFS系統(tǒng)研究姓名：武戈申請(qǐng)學(xué)位級(jí)別：碩士專業(yè)：邏輯學(xué)指導(dǎo)教師：馮棉20080501二元道義邏輯D D F S 系統(tǒng)研究A b s t r a c tJ 6 r gH a n s e ne x t e n d sB ．v a n F r a a s s e na n d J ．F ．H o r t y ’Sd e o n t i cs y s t e m t oa n e wd y a d i c

2、d e o n t i cs y s t e m ，w h i c hw a s c a l l e dD D F S ．T h i s p a p e r d e s c r i b e s s o m e p r o p e r t y o f D D F S ，a n d p r o v e a l lo f t h ea x i o m s a n d s o m eo f t h e t h e o r e m o f D D

3、 F S u s i n g a d i f f e r e n t w a y ．T h i s p a p e r a l s op r o v e t h e s o u n d n e s so f i t ．T h e a u t h o r d e s c r i b e s a h i s t o r yo f m o d e m d e o n t i cl o g i c r e s r e a c hf r i s

4、t ．I nt h e s e c o n ds e c t i o n ，ao v e r v i e w o f c o m m o n m o n a d i c d e o n t i cl o g i c s y s t e m s ，w h i c ha l e f o u n d a t i o n s u p o n w h i c h d y a d i cd e o n t i e l o g i c s y s t

5、 e mD D F S e s t a b l i s h s ，h a sb e e np r e s e n t e d ．T h e p r o p e r t i e sa n d p r o b l e m s o f m o n a d i c d e o n t i c l o g i c s y s t e m s a l s ob em e n t i o n e d ．T h i r d c h a p t e r

6、, t h ea u t h o r i n t r o d u c e dV a n W r i g h t ’Sd y a d i c d e o n t i c l o g i cs y s t e m ．M o s td y a d i c d e o n t i c l o g i cs y s t e m b a s e d t w o o f V a n W r i g h t ’Sd y a d i cd e o n t

7、 i c l o g i cs y s t e m ．T h e e s s e n t i a ld e o n t i c o p e r a t o r s o f D D F S a r e “O ’’’a n d “O s ”，d e c l a r e db y V a nF r a a s s e n ’SP r o p o s a la n d J ．E H o r t y ．U s i n gd e f a u l t

8、t h e o r i e so f n o n - m o n o t o n i c l o g i cC a ng i v e a d e s c r i p t i o no f t h o e s eo p e r a t p r s w e l l ．I nt h e m a i nc h a p t e r , i td i s c u s s e s a l la b o u t D D F S ．I nt h e f

9、o l l o w i n g p a r tt h ea u t h o rw r i t e a b o u tD D F S f o r m t h r e e a s p e c t s ：t h ef o r m a t i o n o f D D F S ，t h e t h e s i sa n d s o m ei m p o r t a n tt h e o r e m s o f D D F S ，t h e s o

10、 u n d n e s s o fD D F S ．T h e n g i v i n gt h ed e m o n s t r a t i o n o f s o u n d n e s s w i t h a d i s s i m i l a rm a n n e r ．T h e n e x ts e g m e n t s a r ec h i e f l y a b o u t t h e f u r t h e r u

11、 s a g e o f D D F S a n d t h e i s s u e su n f a t h o m e d ．D D F S ．I t c a n b ed i s c o v e r e d a g r e a t U S e f o r D D F S i nm a n y t e r r i t o r i e s ，e i t h e ri nl o g i c o ri ne t h i c s ．‘’K