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 Roczniki Filozoficzne

Authors help

  1. 1 Dywan Z.

Years help

  1. 1 2016

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  aksjomatyzacja
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Publication available in full text mode
Content available

Najkrótsze aksjomaty modalnej logiki Łukasiewicza

100%
Dywan Z.
Roczniki Filozoficzne
|
2016
|
vol. 64
|
issue 2
5-9
PL
Pokazujemy, że formuła CLpEqLq aksjomatyzuje logikę modalną Łukasiewicza i nie istnieje krótszy aksjomat dla tej logiki.
EN
We show that the formula CLpEqLq axiomatizes Łukasiewicz’s modal logic and that there exists no shorter axiom for it.
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.