![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Applied Non-Classical Logics, Volume 15
Volume 15, Number 1, 2005
- J. Riche:
Decision Procedure of some Relevant Logics: A Constructive Perspective. 9-23 - Beata Konikowska
:
A Decompositional Deduction System for a Logic Featuring Inconsistency and Uncertainty. 25-44 - Jørgen Villadsen
:
Supra-logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. 45-58 - Chris Mortensen, P. Quigley:
Cubic Logic, Ulam Games, and Paraconsistency. 59-68 - Itala M. Loffredo D'Ottaviano, Milton Augustinis De Castro:
Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1>n>w. 69-103
Volume 15, Number 2, 2005
- Loredana Afanasiev, Patrick Blackburn
, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx
, Maarten de Rijke:
PDL for Ordered Trees. 115-135 - Stefano Borgo
:
Quantificational Modal Logic with Sequential Kripke Semantics. 137-188 - Carsten Lutz
, Dirk Walther:
PDL with Negation of Atomic Programs. 189-213 - Dongmo Zhang, Norman Y. Foo:
Frame problem in dynamic logic. 215-239
Volume 15, Number 3, 2005
- Marcel Crabbé:
Cuts and gluts. 249-263 - Marta Sagastume:
Conical logic and l-groups logic. 265-283 - Paola Forcheri, Paolo Gentilini:
Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework. 285-319 - Paolo Liberatore
:
Seminormalizing a default theory. 321-340 - Peter Jonsson:
Adding clauses to poor man's logic (without increasing the complexity). 341-357
Volume 15, Number 4, 2005
- Pantelis E. Eleftheriou
, Costas D. Koutras
:
Frame constructions, truth invariance and validity preservation in many-valued modal logic. 367-388 - Gemma Robles
, José M. Méndez
:
A constructive negation for logics including TW+. 389-404 - Norihiro Kamide:
Natural deduction systems for Nelson's paraconsistent logic and its neighbors. 405-435 - Hans P. van Ditmarsch:
The case of the hidden hand. 437-452 - Tomasz F. Skura
:
Intuitionistic Socratic procedures. 453-464 - Tarek Sayed Ahmed:
Omitting types for algebraizable extensions of first order logic. 465-489
![](https://dblp.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.