Syntactic System of lattice-valued Propositional logic based on finite lattice implication algebra

Ma, J; Gao, Y; Qin, K; Xu, Y

Syntactic System of lattice-valued Propositional logic based on finite lattice implication algebra

Ma, J Gao, Y Qin, K Xu, Y

Permalink

Publisher:: Southwest Jiaotong University
Publication Type:: Journal Article
Citation:: Journal of Southwest Jiaotong University, 2004, 39 (1), pp. 90 - 95
Issue Date:: 2004-01

Closed Access

	Filename	Description	Size
	2006007158OK.pdf		388.7 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Ma, J	en_US
dc.contributor.author	Gao, Y	en_US
dc.contributor.author	Qin, K	en_US
dc.contributor.author	Xu, Y	en_US
dc.date.issued	2004-01	en_US
dc.identifier.citation	Journal of Southwest Jiaotong University, 2004, 39 (1), pp. 90 - 95	en_US
dc.identifier.issn	0258-2724	en_US
dc.identifier.uri	http://hdl.handle.net/10453/11806
dc.description.abstract	By taking finite lattice implication algebra as a truth2value field , a syntactic system of lattice2 valued propositional logic based on finite lattice implication algebra was proposed. The basic definitions of syntactic implies , proof and consistency of the system on level A were given axiomatically. Finally , the soundness theorem , consistency theorem , weak complete theorem and weak deduction theoremof the system were proved.	en_US
dc.publisher	Southwest Jiaotong University	en_US
dc.relation.ispartof	Journal of Southwest Jiaotong University	en_US
dc.subject.classification	Civil Engineering	en_US
dc.title	Syntactic System of lattice-valued Propositional logic based on finite lattice implication algebra	en_US
dc.type	Journal Article
utslib.citation.volume	1	en_US
utslib.citation.volume	39	en_US
utslib.for	080699 Information Systems not elsewhere classified	en_US
utslib.for	080603 Conceptual Modelling	en_US
utslib.for	080605 Decision Support and Group Support Systems	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
utslib.copyright.status	closed_access
pubs.consider-herdc	false	en_US
pubs.issue	1	en_US
pubs.volume	39	en_US

Abstract:

By taking finite lattice implication algebra as a truth2value field , a syntactic system of lattice2 valued propositional logic based on finite lattice implication algebra was proposed. The basic definitions of syntactic implies , proof and consistency of the system on level A were given axiomatically. Finally , the soundness theorem , consistency theorem , weak complete theorem and weak deduction theoremof the system were proved.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/11806