A method of comparison of Post-complete propositional logics

Thumbnail
View/Open
Author:
Bryll, Grzegorz
Sochacki, Robert
xmlui.dri2xhtml.METS-1.0.item-citation: Annales Academiae Paedagogicae Cracoviensis. 16, Studia Mathematica 3 (2003), s. [27]-32
xmlui.dri2xhtml.METS-1.0.item-iso: en
Date: 2003
Metadata
Show full item record
Abstract
In this paper we consider a necessary and sufficient condition for every propositional calculus to be Post-complete. We will show, how this condition may be used to compare consequence operations for these calculi.
URI
http://hdl.handle.net/11716/5727
Collections