Skip to main menu
Scroll to content
Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit
https://bibliotekanauki.pl
Search
Browse
About
test
PL
EN
BibTeX
PN-ISO 690:2012
Chicago
Chicago (Author-Date)
Harvard
ACS
ACS (no art. title)
IEEE
Article details
Tools
PL
EN
BibTeX
PN-ISO 690:2012
Chicago
Chicago (Author-Date)
Harvard
ACS
ACS (no art. title)
IEEE
Link to site
Copy
Journal
Roczniki Filozoficzne
2016
|
64
|
2
| 5-9
Article title
Najkrótsze aksjomaty modalnej logiki Łukasiewicza
Authors
Dywan Zdzisław
Content
Full texts:
Download
Title variants
EN
The Shortest Axioms of Łukasiewicz’s Modal Logic
Languages of publication
PL
Abstracts
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.
Keywords
PL
aksjomatyzacja
logika modalna
EN
axiomatization
modal logic
Publisher
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Journal
Roczniki Filozoficzne
Year
2016
Volume
64
Issue
2
Pages
5-9
Physical description
Dates
published
2016
Contributors
author
Dywan Zdzisław
zdzislaw.dywan@kul.pl
Wydział Filozofii, Katolicki Uniwersytet Lubelski Jana Pawła II
References
Lemmon, E[dward] J. „Algebraic semantics for modal logics II”. The Jornal of Symbolic Logic 31 (1996), 2:191–218.
Łukasiewicz, Jan. „A system of modal logic”. The Journal of Computing Systems 1 (1953), 3: 111–149.
Tkaczyk, Marcin. „On axiomatization of Łukasiewicz’s four-valued modal logic”. Logic and Logical Philosophy 20 (2011), 3: 215–232.
Document Type
Publication order reference
Identifiers
DOI
10.18290/rf.2016.64.2-1
YADDA identifier
bwmeta1.element.desklight-1d19e3d9-1a35-4349-b88a-de8f2d9bcd5b
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.