Journal of logic and computation文章索引

期刊名：Journal of logic and computation

缩写：J LOGIC COMPUT

ISSN：0955-792X

e-ISSN：1465-363X

IF/分区：0.7/Q4

共收录本刊相关文章索引1705条

Model-theory and implementation of property grammars with features [0.03%] 特征属性语法的模型理论与实现

Duchier, D.; Dao, T.-B.-H.; Parmentier et al. Duchier et al.

Journal of Logic and Computation. 2014;24(2):491-509. DOI:10.1093/logcom/exs080 2014

Exemplaric Expressivity of Modal Logics [0.03%] 模态逻辑的典型表达

Jacobs, B.; Sokolova, A. Jacobs

Journal of Logic and Computation. 2010;20(5):1041-1068. DOI:10.1093/logcom/exn093 2010

Universal algebra for general aggregation theory: Many-valued propositional-attitude aggregators as MV-homomorphisms [0.03%] 广义聚合理论的泛代数：多值命题姿态聚合器作为MV同态

Herzberg, F. S. Herzberg

Journal of Logic and Computation. 2015;25(3):965-977. DOI:10.1093/logcom/ext009 2015

On Realization of -modality by Evidence Terms [0.03%] 论证据术语情态的实现

Rubtsova, N. Rubtsova

Journal of logic and computation. 2006;16(5):671-684. DOI:10.1093/logcom/exl030 2006

The Trilattice of Constructive Truth Values [0.03%] 建构性真理价值的三层

Shramko, Y. Shramko

Journal of Logic and Computation. 2001;11(6):761-788. DOI:10.1093/logcom/11.6.761 2001

Proof and Computation [0.03%] 证明与计算

Adian, S.; Beklemishev, L.; Visser et al. Adian et al.

Journal of logic and computation. 2011;21(4):541-542. DOI:10.1093/logcom/exp042 2011

Causal Relevance and Relevant Causation [0.03%] 因果关系和相关因果关系

Jacquette, D. Jacquette

Journal of Logic and Computation. 2012;22(1):101-112. DOI:10.1093/logcom/exp065 2012

Non-monotonic reasoning with normative conflicts in multi-agent deontic logic [0.03%] 多智能体道义逻辑中具有规范冲突的非单调推理

Beirlaen, M.; Strasser, C. Beirlaen

Journal of Logic and Computation. 2014;24(6):1179-1207. DOI:10.1093/logcom/exs059 2014

Vietoris Bisimulations [0.03%] Vietoris相互模拟

Bezhanishvili, N.; Fontaine, G.; Venema et al. Bezhanishvili et al.

Journal of Logic and Computation. 2010;20(5):1017-1040. DOI:10.1093/logcom/exn091 2010

Faulty Belnap computers and subsystems of FDE [0.03%] 故障Belnap计算机和FDE子系统

Ferguson, T. M. Ferguson

Journal of Logic and Computation. 2014;():exu048-. DOI:10.1093/logcom/exu048 2014