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 Alizadeh M.

  2. 1 Bibak A.

Years help

  1. 1 2019

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

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

Remarks on Stable Formulas in Intuitionistic Logic

100%
Alizadeh M., Bibak A.
Logic and Logical Philosophy
|
2019
|
vol. 28
|
issue 2
209-222
EN
ONNILLI-formulas were introduced in [2] and were shown to be the set of formulas that are preserved under monotonic images of descriptive or Kripke frames. As a result, ONNILLI is a syntactically defined set of formulas that axiomatize all stable logics. In this paper, among other things, by proving the uniform interpolation property for ONNILLI we show that ONNILLI is exactly the set of formulas that are preserved in monotonic bijections of descriptive or (finite) Kripke models. This resolves an open problem in [2].
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.