![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
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
Volume 16, Number 2, April 2008
- 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
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 - Thomas Ågotnes, Michal Walicki:
Complete Axiomatisations of Properties of Finite Sets. 293-313
Volume 16, Number 4, August 2008
- 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
Volume 16, Number 5, October 2008
- Tarek Sayed Ahmed, Basim Samir
:
The Class SNr3CAk 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
Volume 16, Number 6, December 2008
- 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.