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

Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic:
Logics with the Qualitative Probability Operator. 105-120
Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas:
Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems. 121-153
Ryo Ishigaki, Ryo Kashima:
Sequent Calculi for Some Strict Implication Logics. 155-174
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

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
Thomas Ågotnes, Michal Walicki:
Complete Axiomatisations of Properties of Finite Sets. 293-313

Wolfgang Bibel:
Transition Logic Revisited. 317-334
Tomasz Polacik:
Back and Forth Between First-Order Kripke Models. 335-355
Benjamín René Callejas Bedregal, Anderson Paiva Cruz:
A Characterization of Classic-Like Fuzzy Semantics. 357-370
Evan Goris, Joost J. Joosten:
Modal Matters for Interpretability Logics. 371-412

Tarek Sayed Ahmed, Basim Samir:
The Class SNr₃CA_k is Not Closed Under Completions. 427-429
Lloyd Humberstone:
Replacing Modus Ponens With One-Premiss Rules. 431-451
Jeffrey S. Olson, James G. Raftery, Clint J. van Alten:
Structural Completeness in Substructural Logics. 453-495

Dov M. Gabbay, Amir Pnueli:
A Sound and Complete Deductive System for CTL* Verification. 499-536
Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay:
Cut-Based Abduction. 537-560
Seyed Mohammad Bagheri, Massoud Pourmahdian:
Elementary Amalgamation and Joint Embedding Property for Intermediate Logics. 561-583
Igor Carboni Oliveira, Walter Alexandre Carnielli:
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories. 585-590
Costas D. Koutras, Christos Nomikos, Pavlos Peppas:
On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief. 591-604

Last update Sat May 18 20:30:02 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page