Logic Journal of the IGPL logo Oxford University Press logo

Logic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering.

Publisher: Oxford University Press

Related content
Volume 20, Number 1, 9 February 2012

< previous issue | all issues | next issue >

Self provers and 1 sentences
pp. 1-21(21)
Authors: Goris, Evan; Joosten, Joost J.

Epimorphisms are not surjective, even in simple algebras
pp. 22-26(5)
Author: Sayed Ahmed, Tarek

On Lb algebras, II
pp. 27-44(18)
Authors: Alizadeh, Majid; Ardeshir, Mohammad

Hierarchic adaptive logics
pp. 45-72(28)
Author: Van De Putte, Frederik

Unification and projectivity in Fregean varieties
pp. 73-93(21)
Author: Somczyska, Katarzyna

Projective unification in modal logic
pp. 121-153(33)
Authors: Dzik, Wojciech; Wojtylak, Piotr

Inconsistent-tolerant base revision through Argument Theory Change
pp. 154-186(33)
Authors: Moguillansky, Martn O.; Wassermann, Renata; Falappa, Marcelo A.

Lambek grammars with one division and one primitive type
pp. 207-221(15)
Author: Kuznetsov, Stepan

The difference between optimality and universality
pp. 222-234(13)
Author: Miyabe, Kenshi

A first-order conditional probability logic
pp. 235-253(19)
Authors: Miloevi, Milo; Ognjanovi, Zoran

Compactness in first order ukasiewicz logic
pp. 254-265(12)
Authors: Tavana, N. R.; Pourmahdian, M.; Didehvar, F.

Syntactic characterizations of completeness using duals and operators
pp. 266-282(17)
Authors: Bonet, Blai; Borges, Nerio

A logic of agent organizations
pp. 283-316(34)
Authors: Dignum, Virginia; Dignum, Frank

Double sequences, almost Cauchyness and BD-N
pp. 349-354(6)
Authors: Berger, Josef; Bridges, Douglas; Palmgren, Erik

Ticket Entailment plus the mingle axiom has the variable-sharing property
pp. 355-364(10)
Authors: Mndez, Jos M.; Robles, Gemma; Salto, Francisco

Corrigendum
pp. 365-365(1)

< previous issue | all issues | next issue >

Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content

Text size:

A | A | A | A
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages. print icon Print this page