Volume 16, Number 1, February 2008
Gemma Robles,
José M. Méndez:
The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant.
33-41
M. Zayed:
An Application of Model Theory to Semimodules.
99-102
Volume 16, Number 2, April 2008
Linh Anh Nguyen:
Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics.
175-193
Didier Dubois:
On Ignorance and Contradiction Considered as Truth-Values.
195-216
Volume 16, Number 3, June 2008
George Voutsadakis:
Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions.
233-248
Emil Jerábek:
Independent Bases of Admissible Rules.
249-267
Iris Loeb:
Indecomposability of R and R\{0} in Constructive Reverse Mathematics.
269-273
Gemma Robles:
The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant.
275-291
Volume 16, Number 4, August 2008
Tomasz Polacik:
Back and Forth Between First-Order Kripke Models.
335-355
Volume 16, Number 5, October 2008
Volume 16, Number 6, December 2008
data released under the ODC-BY 1.0 license
