Federacja Bibliotek Cyfrowych

Homepage
Akademicka Platforma Czasopism
Admissibility of Ackermann’s rule δ in relevant logics

Object's details: Admissibility of Ackermann’s rule δ in relevant logics

tile.noImage

Provider:Akademicka Platforma Czasopism

Description

Title:
Admissibility of Ackermann’s rule δ in relevant logics
Creator:
Robles, Gemma
Description:
It is proved that Ackermann’s rule δ is admissible in a wide spectrum of relevant logics satisfying certain syntactical properties.
Object availability:
free access
Rights:
Prawa autorskie (c) 2017 Logic and Logical Philosophy
Date:
2013.08.29
Type:
info:eu-repo/semantics/article;
info:eu-repo/semantics/publishedVersion
Language:
English
Source:
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
Publisher:
Uniwersytet Mikołaja Kopernika w Toruniu
Relation: https://apcz.umk.pl/LLP/article/view/LLP.2013.018/1858
Subject:
admissible rules;
rule δ;
rule assertion;
substructural logics;
relevant logics
Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2013.018
Data provider:
Akademicka Platforma Czasopism

Can I use it?:
seek permission
Type:
text

Similar objects

tile.noImage

Admissibility of Ackermann’s rule δ in relevant logics

Creator:Robles, Gemma

Date:2013.08.29

Type:text

tile.noImage

Variable Sharing in Substructural Logics: an Algebraic Characterization

Creator:Badia, Guillermo

Date:2019.01.14 | 2018

Type:image

tile.noImage

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

Creator:López, Sandra M.

Date:2021.03.12

Type:other

tile.noImage

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

Creator:Méndez, José M. | Robles, Gemma

Date:2007.03.15

Type:text

tile.noImage

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

Creator:Robles, Gemma

Date:2008.02.26

Type:text

tile.noImage

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

Creator:Robles, Gemma | Méndez, José M.

Date:2011.11.30

Type:text

tile.noImage

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

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

Date:2017.05.16 | 2016

Type:image

tile.noImage

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

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

Date:2016.04.25

Type:text

FBC TeNe Project

Project co-financed by European Funds under the Operational Program Digital Poland for 2014-2020 (project no. POPC.02.04.00-00-0012 / 20-00)

More information about the project can be found at: https://tene.fbc.pionier.net.pl

European Funds. Digital Poland

Republic of Poland

Digital Libraries Federation

European Union - European Regional Development Fund

We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy