搜索页_logic+

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

在“Springer”中，命中：26,533条，耗时：0.0849605 秒

1.Abstract Logics, Logic Maps, and Logic Homomorphisms

作者：Steffen Lewitzka (1) steffenlewitzka@web.de

关键词：Keywords. Abstract logics ; logic maps ; logic translations ; logic homomorphism ; universal logic ; topology ; institutions

刊名：Logica Universalis

出版时间：October 2007

出版年：2007

2.Abstract Logics, Logic Maps, and Logic Homomorphisms

作者：Steffen Lewitzka (1) steffenlewitzka@web.de

关键词：Keywords. Abstract logics ; logic maps ; logic translations ; logic homomorphism ; universal logic ; topology ; institutions

刊名：Logica Universalis

出版时间：October 2007

出版年：2007

3.Hybrid Probabilistic Logic Programs as Residuated Logic Programs

作者：Carlos Viegas Dam谩sio and Lu铆s Moniz Pereira

关键词：Logic Programming ; Probabilistic Logic Programming ; Fuzzy logic

刊名：Studia Logica

出版时间：2002

出版年：2002

4.Embedding Logics into Product Logic

作者：Matthias Baaz ; Petr H谩jek ; David 艩vejda and Jan Kraj铆膷ek

关键词：fuzzy logic ; ukasiewicz logic ; Gö ; del logic ; product logic ; computational complexity ; arithmetical hierarchy

刊名：Studia Logica

出版时间：1998

出版年：1998

5.Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties

作者：Francesco Paoli (1)
Matthew Spinks (2)
Robert Veroff (3)

关键词：Keywords. Abelian logic ; lattice ; ordered variety ; assertional logic ; logics preserving degrees of truth

刊名：Logica Universalis

出版时间：October 2008

出版年：2008

6.Hybrid Logic Meets IF Modal Logic

作者：Tero Tulenheimo

关键词：Compositionality ; Decidability ; Expressive power ; Game ; theoretic semantics ; Hybrid logic ; Independence friendly logic ; Modal logic

刊名：Journal of Logic ; Language and Information

出版时间：October, 2009

出版年：2009

7.Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties

作者：Francesco Paoli (1)
Matthew Spinks (2)
Robert Veroff (3)

关键词：Keywords. Abelian logic ; lattice ; ordered variety ; assertional logic ; logics preserving degrees of truth

刊名：Logica Universalis

出版时间：October 2008

出版年：2008

8.Interpretations of intuitionist logic in non-normal modal logics

作者：Colin Oakes

关键词：logic ; intuitionist logic ; modal logic ; semantics ; model(s)

刊名：Journal of Philosophical Logic

出版时间：1999

出版年：1999

9.On combinations of propositional dynamic logic and doxastic modal logics

作者：Renate A. Schmidt and Dmitry Tishkovsky

关键词：Combinations of modal logics ; Dynamic logic ; Doxastic logic ; Epistemic logic ; Reasoning about actions ; Belief and knowledge

刊名：Journal of Logic ; Language and Information

出版时间：January, 2008

出版年：2008

10.Traditional Logic, Modern Logic and Natural Language

作者：Wilfrid Hodges

关键词：Traditional logic ; Formalising ; Top syntactic level ; Natural logic

刊名：Journal of Philosophical Logic

出版时间：December, 2009

出版年：2009

1

2

3

4

5

6

7

8

9

查看站内搜索结果(8)

按检索点细分(26533)

题名(7778)

刊名(3062)

作者(7)

关键词(5262)

文摘(22532)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700