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条

Persuasion in Practical Argument Using Value-based Argumentation Frameworks [0.03%]

Bench-Capon, T. J. M. Bench-Capon

Journal of Logic and Computation. 2003;13(3):429-448. DOI:10.1093/logcom/13.3.429 2003

Obligations with deadlines: a formalization in Dynamic Deontic Logic [0.03%]

Demolombe, R. Demolombe

Journal of Logic and Computation. 2014;24(1):1-17. DOI:10.1093/logcom/exs015 2014

A formal analysis of the role of argumentation in negotiation dialogues [0.03%]

Amgoud, L.; Vesic, S. Amgoud

Journal of Logic and Computation. 2012;22(5):957-978. DOI:10.1093/logcom/exr037 2012

Elementary Diagrams in Institutions [0.03%]

Diaconescu, R. Diaconescu

Journal of Logic and Computation. 2004;14(5):651-674. DOI:10.1093/logcom/14.5.651 2004

A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics [0.03%]

Tanaka, M. Tanaka

Journal of Logic and Computation. 2006;16(1):5-25. DOI:10.1093/logcom/exi070 2006

Logic Programming with Focusing Proofs in Linear Logic [0.03%]

ANDREOLI, JEAN-MARC ANDREOLI

Journal of Logic and Computation. 1992;2(3):297-347. DOI:10.1093/logcom/2.3.297 1992

A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules [0.03%]

HALLNÄS, LARS; SCHROEDER-HEISTER, PETER HALLNÄS

Journal of Logic and Computation. 1990;1(2):261-283. DOI:10.1093/logcom/1.2.261 1990

A Proof-Theoretic Approach to Logic Programming [0.03%]

HALLNÄS, LARS; SCHROEDER-HEISTER, PETER HALLNÄS

Journal of Logic and Computation. 1991;1(5):635-660. DOI:10.1093/logcom/1.5.635 1991

Logics Preserving Degrees of Truth from Varieties of Residuated Lattices [0.03%]

Bou, F.; Esteva, F.; Font et al. Bou et al.

Journal of Logic and Computation. 2009;19(6):1031-1069. DOI:10.1093/logcom/exp030 2009

Vector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates [0.03%]

Mizraji, E. Mizraji

Journal of Logic and Computation. 2007;18(1):97-121. DOI:10.1093/logcom/exm057 2007