Volume 13, Number 1, January 2005 Editorial
export record as
dblp key:
journals/igpl/CarnielliCD05 Original Articles
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Michel Ghins :
Can Common Sense Realism be Extended to Theoretical Physics?
95-111
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 13, Number 2, March 2005
export record as
dblp key:
Douglas S. Bridges :
A Weak Constructive Sequential Compactness Property and the Fan Theorem.
151-158
export record as
dblp key:
Robin Hirsch :
The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable.
159-171
export record as
dblp key:
export record as
dblp key:
journals/igpl/GolovanovKR05 export record as
dblp key:
John K. Slaney :
Semipositive LTL with an Uninterpreted Past Operator.
211-229
export record as
dblp key:
John Woods :
Dialectical Considerations on the Logic of Contradiction: Part I.
231-260
export record as
dblp key:
Volume 13, Number 3, May 2005
export record as
dblp key:
Tomasz Polacik :
The Unique Intermediate Logic Whose Every Rule is Archetypal.
269-275
export record as
dblp key:
journals/igpl/Sayed-Ahmed05 export record as
dblp key:
Alasdair Urquhart :
The Complexity of Propositional Proofs with the Substitution Rule.
287-291
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/igpl/Liberatore05 Book Reviews
export record as
dblp key:
Xavier Parent :
Reviews: Review of Coherent Systems, by Karl Schlechta, volume 2 of Studies in Logic and Practical Reasoning. Amsterdam: Elsevier, 2004, 447 pp., ISBN: 0-444-51789-8.
353-359
Volume 13, Number 4, July 2005
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/igpl/GeorgescuP05 export record as
dblp key:
Reiner Hähnle :
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.
415-433
export record as
dblp key:
Petr Hájek :
A non-arithmetical Gödel logic.
435-441
export record as
dblp key:
journals/igpl/NogueraEG05 export record as
dblp key:
journals/igpl/OrlowskaR05
Volume 13, Number 5, September 2005
export record as
dblp key:
export record as
dblp key:
Amit Banerjee :
A Dynamic Game-theoretic Approach to the Modified Prisoner's Dilemma.
493-502
export record as
dblp key:
journals/igpl/BelohlavekFV05 export record as
dblp key:
Martin Dostál :
On Evolving of Recursive Functions using lambda-abstraction and Higher-order Functions.
515-524
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Vera Kurková :
Neural Network Learning as an Inverse Problem.
551-559
export record as
dblp key:
journals/igpl/MetcalfeOG05 export record as
dblp key:
Radim Nedbal :
Relational Databases with Ordered Relations.
587-597
export record as
dblp key:
Volume 13, Number 6, November 2005 Special Issue:
Selected Papers from the Workshop on Combination of Logics:
Theory and Applications (CombLog'04)
export record as
dblp key:
journals/igpl/CarnielliM05 export record as
dblp key:
journals/igpl/IemhoffJZ05 export record as
dblp key:
journals/igpl/CaleiroVB05 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
