PL EN


Preferences help
enabled [disable] Abstract
Number of results
2010 | 45 |
Article title

Minimal Non-Relevant Logics without the K Axiom II. Negation Introduced as a Primitive Unary Connective

Authors
Content
Title variants
Languages of publication
PL
Abstracts
PL
In the first part of this paper (RML No. 42) a spectrum of constructive logics without the K axiom is defined. Negation is introduced with a propositional falsity constant. The aim of this second part is to build up logics definitionally equivalent to those displayed in the first part, negation being now introduced as a primitive unary connective. Relational ternary semantics is provided for all logics defined in the paper.
Keywords
PL
 
Publisher
Year
Volume
45
Physical description
Dates
published
2010
online
07 - 07 - 2015
Contributors
author
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2084-2589-year-2010-volume-45-article-2865
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.