Federacja Bibliotek Cyfrowych

Homepage
Akademicka Platforma Czasopism
Some remarks on axiomatizing logical consequence operations

Object's details: Some remarks on axiomatizing logical consequence operations

tile.noImage

Provider:Akademicka Platforma Czasopism

Description

Title:
Some remarks on axiomatizing logical consequence operations
Creator:
Malinowski, Jacek
Description:
In this paper we investigate the relation between the axiomatization of a given logical consequence operation and axiom systems defining the class of algebras related to that consequence operation. We show examples which prove that, in general there are no natural relation between both ways of axiomatization.
Object availability:
free access
Rights:
Prawa autorskie (c) 2017 Logic and Logical Philosophy
Date:
2005.06.23
Type:
info:eu-repo/semantics/article;
info:eu-repo/semantics/publishedVersion
Language:
English
Source:
Logic and Logical Philosophy; Vol. 14 No. 1 (2005); 103-117;
Logic and Logical Philosophy; Tom 14 Nr 1 (2005); 103-117;
2300-9802;
1425-3305
Format:
application/pdf
Publisher:
Uniwersytet Mikołaja Kopernika w Toruniu
Relation: https://apcz.umk.pl/LLP/article/view/LLP.2005.008/1439
Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2005.008
Data provider:
Akademicka Platforma Czasopism

Can I use it?:
seek permission
Type:
text

Similar objects

tile.noImage

Some remarks on axiomatizing logical consequence operations

Creator:Malinowski, Jacek

Date:2005.06.23

Type:text

tile.noImage

Double ring with redundant nodes – a model of highly reliable ring network

Creator:Malinowski, Jacek

Date:2007.12.31 | 2007

Type:text

tile.noImage

Improving accuracy of reliability parameters estimation for a commodity flow network by means of stratified sampling

Creator:Malinowski, Jacek

Date:2010.12.31 | 2010

Type:text

tile.noImage

Maximum likelihood estimators of the Weibull distribution parameters, based on short sequences of dependent lifetimes

Creator:Malinowski, Jacek

Date:2012.12.31 | 2012

Type:text

tile.noImage

A hazard-related probabilistic model of cascading and feedback effects occurring in a multi-process environmentt

Creator:Malinowski, Jacek

Date:2016.12.31 | 2016

Type:text

tile.noImage

Determining reliability parameters for a commodity transfer system with non-independent components

Creator:Malinowski, Jacek

Date:2008.12.31 | 2008

Type:text

tile.noImage

Determining s-t and K-terminal path sets and cut sets in graph-modeled networks by a unified approach

Creator:Malinowski, Jacek

Date:2011.12.31 | 2011

Type:text

tile.noImage

Accuracy of a newly developed maximum likelihood estimators for the parameters of a Weibull process

Creator:Malinowski, Jacek

Date:2013.12.31 | 2013

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