Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic

DC Field	Value	Language
dc.contributor.author	Došen, Kosta	en
dc.date.accessioned	2020-04-27T10:33:33Z	-
dc.date.available	2020-04-27T10:33:33Z	-
dc.date.issued	1992-08-03	en
dc.identifier.issn	0304-3975	en
dc.identifier.uri	http://researchrepository.mi.sanu.ac.rs/handle/123456789/718	-
dc.description.abstract	It is shown that nonmodal classical linear first-order predicate logic based on multiplicative conjunction, additive disjunction, negation, the propositional constants and the existential quantifier is included in intuitionistic linear first-order predicate logic. An analogous result is obtained for BCK logic.	en
dc.publisher	Elsevier	-
dc.relation.ispartof	Theoretical Computer Science	en
dc.title	Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic	en
dc.type	Article	en
dc.identifier.doi	10.1016/0304-3975(92)90300-5	en
dc.identifier.scopus	2-s2.0-44049125310	en
dc.contributor.affiliation	Mathematical Institute of the Serbian Academy of Sciences and Arts	-
dc.relation.firstpage	207	en
dc.relation.lastpage	214	en
dc.relation.issue	1	en
dc.relation.volume	102	en
dc.description.rank	M23	-
item.cerifentitytype	Publications	-
item.openairetype	Article	-
item.grantfulltext	none	-
item.fulltext	No Fulltext	-
item.openairecristype	http://purl.org/coar/resource_type/c_18cf	-

3

checked on Dec 26, 2024

19

checked on Dec 26, 2024

Check