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条

Hypersequent Calculi for Godel Logics -- a Survey [0.03%]

Baaz, M. Baaz

Journal of Logic and Computation. 2003;13(6):835-861. DOI:10.1093/logcom/13.6.835 2003

Reviews [0.03%]

SILVA, FLÁVIO SOARES CORRÊA DA SILVA

Journal of Logic and Computation. 1994;4(3):324-327. DOI:10.1093/logcom/4.3.324 1994

Generalized Quantifiers and Logical Reducibilities [0.03%]

DAWAR, ANUJ DAWAR

Journal of Logic and Computation. 1995;5(2):213-226. DOI:10.1093/logcom/5.2.213 1995

Sequent calculi for induction and infinite descent [0.03%]

Brotherston, J.; Simpson, A. Brotherston

Journal of Logic and Computation. 2011;21(6):1177-1216. DOI:10.1093/logcom/exq052 2011

K-Triviality of Closed Sets and Continuous Functions [0.03%]

Barmpalias, G.; Cenzer, D.; Remmel et al. Barmpalias et al.

Journal of Logic and Computation. 2009;19(1):3-16. DOI:10.1093/logcom/exn021 2009

Combining transactions and automatic repairs [0.03%]

Gomes, A. S.; Alferes, J. J. Gomes

Journal of Logic and Computation. 2015;():exv006-. DOI:10.1093/logcom/exv006 2015

Propositions as [Types] [0.03%]

Awodey, S. Awodey

Journal of Logic and Computation. 2004;14(4):447-471. DOI:10.1093/logcom/14.4.447 2004

Verifying social expectations by model checking truncated paths [0.03%]

Cranefield, S.; Winikoff, M. Cranefield

Journal of Logic and Computation. 2011;21(6):1217-1256. DOI:10.1093/logcom/exq055 2011

Forthcoming Papers [0.03%]

Journal of Logic and Computation. 1996;6(6):850-851. DOI:10.1093/logcom/6.6.850 1996

A semantic proof of strong cut-admissibility for first-order Godel logic [0.03%]

Lahav, O.; Avron, A. Lahav

Journal of Logic and Computation. 2013;23(1):59-86. DOI:10.1093/logcom/exs006 2013