Federacja Bibliotek Cyfrowych

Strona główna
Akademicka Platforma Czasopism
Admissibility of Ackermann’s rule δ in relevant logics

Szczegóły obiektu: Admissibility of Ackermann’s rule δ in relevant logics

tile.noImage

Instytucja dostarczająca:Akademicka Platforma Czasopism

Opis

Tytuł:
Admissibility of Ackermann’s rule δ in relevant logics
Twórca:
Robles, Gemma
Opis:
It is proved that Ackermann’s rule δ is admissible in a wide spectrum of relevant logics satisfying certain syntactical properties.
Dostępność obiektu:
Dostęp otwarty
Prawa:
Prawa autorskie (c) 2017 Logic and Logical Philosophy
Data:
2013.08.29
Typ:
info:eu-repo/semantics/article;
info:eu-repo/semantics/publishedVersion
Język:
angielski
Źródło:
Logic and Logical Philosophy; Vol. 22 No. 4 (2013): December; 411-427;
Logic and Logical Philosophy; Tom 22 Nr 4 (2013): December; 411-427;
2300-9802;
1425-3305
Format:
application/pdf
Wydawca:
Uniwersytet Mikołaja Kopernika w Toruniu
Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2013.018/1858
Temat i słowa kluczowe:
admissible rules;
rule δ;
rule assertion;
substructural logics;
relevant logics
Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2013.018
Dostawca danych:
Akademicka Platforma Czasopism

Czy mogę z tego obiektu skorzystać?:
poproś o pozwolenie
Rodzaj zawartości:
teksty

Podobne obiekty

tile.noImage

Admissibility of Ackermann’s rule δ in relevant logics

Twórca:Robles, Gemma

Data:2013.08.29

Rodzaj zawartości:teksty

tile.noImage

Variable Sharing in Substructural Logics: an Algebraic Characterization

Twórca:Badia, Guillermo

Data:2019.01.14 | 2018

Rodzaj zawartości:obrazy

tile.noImage

Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B

Twórca:López, Sandra M.

Data:2021.03.12

Rodzaj zawartości:pozostałe

tile.noImage

Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation

Twórca:Méndez, José M. | Robles, Gemma

Data:2007.03.15

Rodzaj zawartości:teksty

tile.noImage

Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant

Twórca:Robles, Gemma

Data:2008.02.26

Rodzaj zawartości:teksty

tile.noImage

A class of simpler logical matrices for the variable-sharing property

Twórca:Robles, Gemma | Méndez, José M.

Data:2011.11.30

Rodzaj zawartości:teksty

tile.noImage

A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

Twórca:Robles, Gemma | López, Sandra M. | Blanco, José M. | Recio, Marcos M. | Paradela, Jesús R.

Data:2017.05.16 | 2016

Rodzaj zawartości:obrazy

tile.noImage

Relational semantics for the 4-valued relevant logics BN4 and E4

Twórca:Robles, Gemma | Blanco, José M. | López, Sandra M. | Paradela, Jesús R. | Recio, Marcos M.

Data:2016.04.25

Rodzaj zawartości:teksty

Projekt FBC TeNe

Projekt dofinansowany z Funduszy Europejskich w ramach Programu Operacyjnego Polska Cyfrowa na lata 2014-2020 (projekt nr POPC.02.04.00-00-0012/20-00)

Więcej informacji o projekcie znajdziesz na stronie: https://tene.fbc.pionier.net.pl/

Fundusze Europejskie. Polska Cyfrowa

Rzeczpospolita Polska

FBC - Federacja Bibliotek Cyfrowych

Unia Europejska - Europejski Fundusz Rozwoju Regionalnego

Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności