Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 692 results
Sort by: relevance publication year

Editorial Board

JOURNAL ARTICLE published January 1993 in Journal of Applied Non-Classical Logics

Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss

JOURNAL ARTICLE published 2 October 2018 in Journal of Applied Non-Classical Logics

Authors: Daniil Kozhemiachenko

Bon de Commande de Périodique

JOURNAL ARTICLE published January 1992 in Journal of Applied Non-Classical Logics

Foreword

JOURNAL ARTICLE published June 2012 in Journal of Applied Non-Classical Logics

Authors: Davide Grossi

Foreword

JOURNAL ARTICLE published January 2010 in Journal of Applied Non-Classical Logics

Authors: Philippe Balbiani | Luis Fariñas Del Cerro | Andreas Herzig

Modal logics of closed domains on Minkowski plane

JOURNAL ARTICLE published 23 September 2007 in Journal of Applied Non-Classical Logics

Authors: Ilia Shapirovsky

Automated Puzzle Solving

JOURNAL ARTICLE published January 2002 in Journal of Applied Non-Classical Logics

Authors: László Aszalós

Search for syllogistic structure of semantic information

JOURNAL ARTICLE published June 2012 in Journal of Applied Non-Classical Logics

Authors: Marcin J. Schroeder

Adding clauses to poor man's logic (without increasing the complexity)

JOURNAL ARTICLE published January 2005 in Journal of Applied Non-Classical Logics

Authors: Peter Jonsson

Editorial Board

JOURNAL ARTICLE published January 2011 in Journal of Applied Non-Classical Logics

Index des auteurs du volume 4

JOURNAL ARTICLE published January 1994 in Journal of Applied Non-Classical Logics

Realization of Intuitionistic Logic by Proof Polynomials

JOURNAL ARTICLE published January 1999 in Journal of Applied Non-Classical Logics

Authors: Sergei N. Artemov

Belief Change: from Situation Calculus to Modal Logic

JOURNAL ARTICLE published January 2003 in Journal of Applied Non-Classical Logics

Authors: Robert Demolombe

Relevant logic as a basis for paraconsistent epistemic logics

JOURNAL ARTICLE published January 1992 in Journal of Applied Non-Classical Logics

Authors: Gerson Zaverucha

Review of Leonard Bole and Piotr Borowik: Many-valued logics: 1. Theoretical foundations, Berlin: Springer, 1991

JOURNAL ARTICLE published January 1994 in Journal of Applied Non-Classical Logics

Authors: Petr Hajek | Richard Zach

On the modal interpretation of the connective of realisation

JOURNAL ARTICLE published 2 October 2021 in Journal of Applied Non-Classical Logics

Research funded by narodowe centrum nauki (2018/02/X/HS1/03437.)

Authors: A. M. Karczewska

Foreword

JOURNAL ARTICLE published January 2004 in Journal of Applied Non-Classical Logics

Authors: Weiru Liu | Laurence Cholvy | Salem Benferhat | Anthony Hunter

Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning

JOURNAL ARTICLE published 2 October 2019 in Journal of Applied Non-Classical Logics

Authors: Marc Aiguier | Isabelle Bloch

Computational Aspects of Quasi-Classical Entailment

JOURNAL ARTICLE published January 2001 in Journal of Applied Non-Classical Logics

Authors: Pierre Marquis | Nadège Porquet

A quantitative doxastic logic for probabilistic processes and applications to information-hiding

JOURNAL ARTICLE published January 2009 in Journal of Applied Non-Classical Logics

Authors: Simon Kramer | Catuscia Palamidessi | Roberto Segala | Andrea Turrini | Christelle Braun