- Tytuł:
- Minimal Non-Relevant Logics without the K Axiom II. Negation Introduced as a Primitive Unary Connective
- Autorzy:
- Robles, Gemma
- Powiązania:
- https://bibliotekanauki.pl/articles/1368483.pdf
- Data publikacji:
- 2010
- Wydawca:
- Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
- Opis:
- 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.
- Źródło:
-
Reports on Mathematical Logic; 2010, 45; 97-118
0137-2904
2084-2589 - Pojawia się w:
- Reports on Mathematical Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł