Eintrag weiter verarbeiten
On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: |
On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz |
In: | Journal of Applied Non-Classical Logics, 27, 2017, 1-2, S. 27-32 |
veröffentlicht: |
Informa UK Limited
|
Umfang: | 27-32 |
ISSN: |
1166-3081 1958-5780 |
DOI: | 10.1080/11663081.2017.1311147 |
Format: | E-Article |
Quelle: | Informa UK Limited (CrossRef) |
Sprache: | Englisch |