Federacja Bibliotek Cyfrowych

Homepage
Akademicka Platforma Czasopism
Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

Object's details: Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

tile.noImage

Provider:Akademicka Platforma Czasopism

Description

Title:
Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality
Creator:
Kamide, Norihiro
Object availability:
free access
Rights:
Prawa autorskie (c) 2019 Logic and Logical Philosophy
Date:
2019.01.27
Type:
info:eu-repo/semantics/article;
info:eu-repo/semantics/publishedVersion
Language:
English
Source:
Logic and Logical Philosophy; Vol. 28 No. 3 (2019): September; 481-511;
Logic and Logical Philosophy; Tom 28 Nr 3 (2019): wrzesień; 481-511;
2300-9802;
1425-3305
Format:
application/pdf
Publisher:
Uniwersytet Mikołaja Kopernika w Toruniu
Relation: https://apcz.umk.pl/LLP/article/view/LLP.2019.002/16677
Subject:
bi-classical connexive logic;
sequent calculus;
cut-elimination;
duality;
completeness;
03B53
Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2019.002
Data provider:
Akademicka Platforma Czasopism

Can I use it?:
seek permission
Type:
text

Similar objects

tile.noImage

Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

Creator:Kamide, Norihiro

Date:2019.01.27

Type:text

tile.noImage

In Defence of Dialetheism: A Reply to Beziau and Tkaczyk

Creator:Martin, Ben

Date:2017.10.03

Type:text

tile.noImage

Logic may be simple. Logic, congruence and algebra

Creator:Béziau, Jean-Yves

Date:2003.10.27

Type:text

tile.noImage

About the coexistence of “classical sets” with “non-classical” ones: A survey

Creator:Hinnion, Roland

Date:2003.11.23

Type:text

tile.noImage

Models of possibilism and trivialism

Creator:Estrada-González, Luis

Date:2012.06.15

Type:text

tile.noImage

EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes

Creator:Blanco, José Miguel

Date:2021.08.14

Type:text

tile.noImage

Temporal non-commutative logic: Expressing time, resource, order and hierarchy

Creator:Kamide, Norihiro

Date:2009.11.30

Type:text

tile.noImage

Symmetric and dual paraconsistent logics

Creator:Kamide, Norihiro | Wansing, Heinrich

Date:2010.06.30

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