Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Logic and Logical Philosophy

Authors help

  1. 1 Drobyshevich S.

Years help

  1. 1 2018

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  bi-intuitionistic logic
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Content available remote

On Displaying Negative Modalities

100%
Drobyshevich S.
Logic and Logical Philosophy
|
2018
|
vol. 27
|
issue 2
161-192
XX
We extend Takuro Onishi’s result on displaying substructural negations by formulating display calculi for non-normal versions of impossibility and unnecessity operators, called regular and co-regular negations, respectively, by Dimiter Vakarelov. We make a number of connections between Onishi’s work and Vakarelov’s study of negation. We also prove a decidability result for our display calculus, which can be naturally extended to obtain decidability results for a large number of display calculi for logics with negative modal operators.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.