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 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