default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
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.
last updated on 2024-10-14 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
