Logic Journal of the IGPL, Volume 16, 2008

Volume 16, Number 1, February 2008

• Mohammad Ardeshir, Bardyaa Hesaam:
  An Introduction to Basic Arithmetic. 1-13
  Electronic Edition (link) BibTeX
• Sandra Marques Pinto, M. Teresa Oliveira-Martins, M. Céu Pinto:
  Congruences on Dynamic Algebras. 15-31
  Electronic Edition (link) BibTeX
• Gemma Robles, José M. Méndez:
  The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant. 33-41
  Electronic Edition (link) BibTeX
• Miguel Couceiro, Lauri Hella, Jari Kivelä:
  Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic. 43-73
  Electronic Edition (link) BibTeX
• Francis Jeffry Pelletier, Andrew Hartline:
  Ternary Exclusive Or. 75-83
  Electronic Edition (link) BibTeX
• Owen Barnett, Jeff B. Paris:
  Maximum Entropy Inference with Quantified Knowledge. 85-98
  Electronic Edition (link) BibTeX
• M. Zayed:
  An Application of Model Theory to Semimodules. 99-102
  Electronic Edition (link) BibTeX

Volume 16, Number 2, April 2008

• Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic:
  Logics with the Qualitative Probability Operator. 105-120
  Electronic Edition (link) BibTeX
• Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas:
  Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems. 121-153
  Electronic Edition (link) BibTeX
• Ryo Ishigaki, Ryo Kashima:
  Sequent Calculi for Some Strict Implication Logics. 155-174
  Electronic Edition (link) BibTeX
• Linh Anh Nguyen:
  Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics. 175-193
  Electronic Edition (link) BibTeX
• Didier Dubois:
  On Ignorance and Contradiction Considered as Truth-Values. 195-216
  Electronic Edition (link) BibTeX

Volume 16, Number 3, June 2008

• George Voutsadakis:
  Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions. 233-248
  Electronic Edition (link) BibTeX
• Emil Jerábek:
  Independent Bases of Admissible Rules. 249-267
  Electronic Edition (link) BibTeX
• Iris Loeb:
  Indecomposability of R and R\{0} in Constructive Reverse Mathematics. 269-273
  Electronic Edition (link) BibTeX
• Gemma Robles:
  The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant. 275-291
  Electronic Edition (link) BibTeX
• Thomas Ågotnes, Michal Walicki:
  Complete Axiomatisations of Properties of Finite Sets. 293-313
  Electronic Edition (link) BibTeX