Federacja Bibliotek Cyfrowych

Homepage
Akademicka Platforma Czasopism
Converse Ackermann property and constructive negation defined with a negation connective

Object's details: Converse Ackermann property and constructive negation defined with a negation connective

tile.noImage

Provider:Akademicka Platforma Czasopism

Description

Title:
Converse Ackermann property and constructive negation defined with a negation connective
Creator:
Robles, Gemma;
Méndez, José M.
Description:
The Converse Ackermann Property is the unprovability of formulas of the form (A -> B) -> C when C does contain neither -> nor ¬. Intuitively, the CAP amounts to rule out the derivability of pure non-necessitive propositions from non-necessitive ones. A constructive negation of the sort historically defined by, e.g., Johansson is added to positive logics with the CAP in the spectrum delimited by Ticket Entailment and Dummett’s logic LC.
Object availability:
free access
Rights:
Prawa autorskie (c) 2017 Logic and Logical Philosophy
Date:
2006.06.26
Type:
info:eu-repo/semantics/article;
info:eu-repo/semantics/publishedVersion
Language:
English
Source:
Logic and Logical Philosophy; Vol. 15 No. 2 (2006); 113-130;
Logic and Logical Philosophy; Tom 15 Nr 2 (2006); 113-130;
2300-9802;
1425-3305
Format:
application/pdf
Publisher:
Uniwersytet Mikołaja Kopernika w Toruniu
Relation: https://apcz.umk.pl/LLP/article/view/LLP.2006.007/1484
Subject:
converse Ackermann property;
constructive negation;
relational ternary semantics;
Relevance logics
Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2006.007
Data provider:
Akademicka Platforma Czasopism

Similar objects

tile.noImage

Converse Ackermann property and constructive negation defined with a negation connective

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

Date:2006.06.26

Type:text

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 modal restriction of R-Mingle with the variable-sharing property

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

Date:2010.12.30

Type:text

tile.noImage

Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B

Creator:López, Sandra M.

Date:2022.05.19 | 2021.09.02

Type:other

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 Routley-Meyer semantics for Ackermann’s logics of “strenge implication”

Creator:Méndez, José M.

Date:2010.03.30

Type:text

tile.noImage

Admissibility of Ackermann’s rule δ in relevant logics

Creator:Robles, Gemma

Date:2013.08.29

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