Articolul precedent |
Articolul urmator |
94 0 |
SM ISO690:2012 RAŢIU, Mefodie. On functional completeness in the gr. moisil dual intuitionistic logic. In: Annual Congress of the American Romanian Academy of Arts and Sciences.: Proceedings of the 35th ARA Congress , Ed. Ediția 35, 6-10 iulie 2011, Timișoara. Montreal; Canada: 2011, Ediția 35, pp. 301-303. ISBN 978-1-935924-01-2. ISSN 978-2-553-01596-0. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Annual Congress of the American Romanian Academy of Arts and Sciences. Ediția 35, 2011 |
||||||
Conferința "Annual Congress of the American Romanian Academy of Arts and Sciences" Ediția 35, Timișoara, Romania, 6-10 iulie 2011 | ||||||
|
||||||
Pag. 301-303 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
Gr. Moisil [1] introduced into consideration the Dual Intuitionistic Logic. A.V. Kuznetsov [2] discovered the connection of this logic with the theory of distributive lattices. Dual Intuitionistic Logic [1] (DIL) is obtained from Propositional Intuitionistic Logic by enriching it with dual logic operations to implication and negation. Among the possible approaches of a problem in DIL is natural to study at the beginning the concerned problem for the case of intermediate logics between DIL and classical logic that are defined by finite distributive lattices. The simplest of these is the chain logic of three elements, which represents a specific fragment of trivalent general logic and coincides with the Lukasiewici trivalent logic. In the present paper we formulate four criterions of functional completeness in the chain extensions of Dual Intuitionistic Logic and also in the simplest not chain extensions of this logic. |
||||||
Cuvinte-cheie Intuitionistic logic, Dual Intuitionistic Logic, expressible formula, functional complete system, predicate |
||||||
|