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

Volume 13, Number 2, March 2005
Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content

< previous issue | next issue > | all issues

A Weak Constructive Sequential Compactness Property and the Fan Theorem
pp. 151-158(8)
Author: Bridges, Douglas

The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable
pp. 159-171(13)
Author: Hirsch, Robin

Modal Sequent Calculi Labelled with Truth Values: Cut Elimination
pp. 173-199(27)
Authors: Mateus, Paulo; Rasga, João; Sernadas, Cristina

Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules
pp. 201-209(9)
Authors: Golovanov, M.I.; Kosheleva, A.V.; Rybakov, V.

Semipositive LTL with an Uninterpreted Past Operator
pp. 211-229(19)
Author: Slaney, John

Dialectical Considerations on the Logic of Contradiction: Part I
pp. 231-260(30)
Author: Woods, John

A note on Hájek, Paris and Shepherdson's theorem
pp. 261-266(6)
Author: Yatabe, Shunsuke

Acknowledgements
pp. 267-267(1)

< previous issue | next issue > | all issues

Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages.
Page Help Click here for Page Help
Shopping cart
Tools
Sign in






Need to register?
Sign up here
Text size: A | A | A | A