首页 文献索引 SCI期刊 AI助手
期刊目录筛选

期刊名：Journal of logic and computation

缩写：J LOGIC COMPUT

ISSN：0955-792X

e-ISSN：1465-363X

IF/分区：0.7/Q4

文章目录 更多期刊信息

共收录本刊相关文章索引1705条
Clinical Trial Case Reports Meta-Analysis RCT Review Systematic Review
Classical Article Case Reports Clinical Study Clinical Trial Clinical Trial Protocol Comment Comparative Study Editorial Guideline Letter Meta-Analysis Multicenter Study Observational Study Randomized Controlled Trial Review Systematic Review
A cut-free sequent system for Grzegorczyk logic, with an application to the Godel-McKinsey-Tarski embedding [0.03%]
Dyckhoff, R.; Negri, S. Dyckhoff
Journal of Logic and Computation. 2013;():ext036-. DOI:10.1093/logcom/ext036 2013
Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records [0.03%]
Ginzburg, J. Ginzburg
Journal of Logic and Computation. 2005;15(2):113-130. DOI:10.1093/logcom/exi005 2005
Basic primal infon logic [0.03%]
Cotrini, C.; Gurevich, Y. Cotrini
Journal of Logic and Computation. 2013;():ext021-. DOI:10.1093/logcom/ext021 2013
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP [0.03%]
Giordano, L.; Martelli, A.; Dupre et al. Giordano et al.
Journal of Logic and Computation. 2013;():ext067-. DOI:10.1093/logcom/ext067 2013
The d-logic of the real line [0.03%]
Lucero-Bryan, J. G. Lucero-Bryan
Journal of Logic and Computation. 2013;23(1):121-156. DOI:10.1093/logcom/exr054 2013
Axioms for Branching Time [0.03%]
Reynolds, M. Reynolds
Journal of logic and computation. 2002;12(4):679-697. DOI:10.1093/logcom/12.4.679 2002
A Stone-Weierstrass theorem for MV-algebras and unital  -groups [0.03%]
Cabrer, L. M.; Mundici, D. Cabrer
Journal of Logic and Computation. 2015;25(3):683-699. DOI:10.1093/logcom/exu023 2015
Special Issue on Computational Logic in Honour of Roy Dyckhoff [0.03%]
Galmiche, D.; Graham-Lengrand, S. Galmiche
Journal of Logic and Computation. 2014;():exu039-. DOI:10.1093/logcom/exu039 2014
Paraconsistent Machines and their Relation to Quantum Computing [0.03%]
Agudelo, J. C.; Carnielli, W. Agudelo
Journal of Logic and Computation. 2010;20(2):573-595. DOI:10.1093/logcom/exp072 2010
A Complete Deductive System for Probability Logic [0.03%]
Zhou, C. Zhou
Journal of Logic and Computation. 2009;19(6):1427-1454. DOI:10.1093/logcom/exp031 2009