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条

A simple sequent calculus for nominal logic [0.03%]

Cheney, J. Cheney

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

Pedagogical Second-order Propositional Calculi [0.03%]

Colson, L.; Michel, D. Colson

Journal of Logic and Computation. 2007;18(4):669-695. DOI:10.1093/logcom/exn001 2007

Compactness in first-order Godel logics [0.03%]

Pourmahdian, M.; Tavana, N. R. Pourmahdian

Journal of Logic and Computation. 2013;23(3):473-485. DOI:10.1093/logcom/exs037 2013

Modal compact Hausdorff spaces [0.03%]

Bezhanishvili, G.; Bezhanishvili, N.; Harding et al. Bezhanishvili et al.

Journal of Logic and Computation. 2015;25(1):1-35. DOI:10.1093/logcom/exs030 2015

How to identify, translate and combine logics? [0.03%]

Rabe, F. Rabe

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

A description logic with transitive and inverse roles and role hierarchies [0.03%]

Horrocks, I Horrocks

Journal of logic and computation. 1999;9(3):385-410. DOI:10.1093/logcom/9.3.385 1999

Completeness and Cut-elimination in the Intuitionistic Theory of Types [0.03%]

DeMarco, M. DeMarco

Journal of logic and computation. 2005;15(6):821-854. DOI:10.1093/logcom/exi055 2005

The Taming of the Cut. Classical Refutations with Analytic Cut [0.03%]

AGOSTINO, MARCELLO D'; MONDADORI, MARCO AGOSTINO

Journal of logic and computation. 1994;4(3):285-319. DOI:10.1093/logcom/4.3.285 1994

Paramodulation with Well-founded Orderings [0.03%]

Bofill, M.; Rubio, A. Bofill

Journal of logic and computation. 2008;19(2):263-302. DOI:10.1093/logcom/exn073 2008

Spectra of highn and non-lown degrees [0.03%]

Frolov, A.; Kalimullin, I.; Harizanov et al. Frolov et al.

Journal of Logic and Computation. 2012;22(4):755-777. DOI:10.1093/logcom/exq041 2012