Journal of Applied Non-Classical Logics, Volume 3

Volume 3, Number 1, 1993

Javier Leach, Susana Nieva: Foundations of a theorem prover for functional and mathematical uses. BibTeX
Beata Konikowska: Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus. BibTeX
Pierre Siegel, Camilla Schwind: Modal logic based theory for non-monotonic reasoning. BibTeX
Dov M. Gabbay, Uwe Reyle: Computation with run time skolemisation (N-Prolog part 3). BibTeX

Ewa Orlowska: Dynamic logic with program specifications and its relational proof system. BibTeX
Josep Maria Font, Massoud Moussavi: Note on a six-valued extension of three-valued logic. BibTeX
Yuri Kaluzhny, Alexei Yu. Muravitsky: A knowledge representation based on the Belnap's four-valued logic. BibTeX
Marta Cialdea: Herbrand style proof procedures for modal logic. BibTeX
André Fuhrmann: Observations on validity and conditionals in belief revision systems. BibTeX