default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Applied Non-Classical Logics, Volume 8

> Home > Journals > Journal of Applied Non-Classical Logics

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 8, Number 1-2, 1998

Special Issue dedicate to the memory of Helena Rasiowa

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/BryniarskiW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/BryniarskiW98
Edward Bryniarski, Urszula Wybraniec-Skardowska:
Calculus of Contextual Rough Sets in Contextual Spaces. 9-26
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/FriasO98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/FriasO98
Marcelo F. Frias, Ewa Orlowska:
Equational Reasoning in Non--Classical Logics. 27-66
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Madarasz98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Madarasz98
Judit X. Madarász:
Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic. 67-105
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Mostowski98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Mostowski98
Marcin Mostowski:
Computational semantics for monadic quantifiers. 107-121
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/NovodvorskyS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/NovodvorskyS98
Aleksey Novodvorsky, Aleksey Smirnov:
A shell for generic interactive proof search. 123-140
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Pliuskevicius98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Pliuskevicius98
Regimantas Pliuskevicius:
Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic. 141-169
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Priest98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Priest98
Graham Priest:
The Trivial Object and the Non-Triviality of a Semantically Closed Theory with Descriptions. 171-183

Volume 8, Number 3, 1998

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/BrawnerV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/BrawnerV98
James Brawner, James Vorbach:
An Algorithmic Logic Approach to Formalizing Database Update Semantics. 199-220
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/HanssonR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/HanssonR98
Sven Ove Hansson, Hans Rott:
A Plea for Accuracy. 221-224
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/WooldridgeDF98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/WooldridgeDF98
Michael J. Wooldridge, Clare Dixon, Michael Fisher:
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. 225-258
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Balbiani98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Balbiani98
Philippe Balbiani:
The modal multilogic of geometry. 259-281

Volume 8, Number 4, 1998

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/OhlbachG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/OhlbachG98
Hans Jürgen Ohlbach, Dov M. Gabbay:
Calendar Logic. 291-323
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/BalbianiC98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/BalbianiC98
Philippe Balbiani, Luis Fariñas del Cerro:
Complete axiomatization of a relative modal logic with composition and intersection. 325-335
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Jacquette98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Jacquette98
Dale Jacquette:
Paraconsistent Logical Consequence. 337-351
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/WuTL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/WuTL98
Jin-Zhao Wu, Hong-Yan Tan, Yongli Li:
An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics. 353-360

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.