On functional completeness in the gr. moisil dual intuitionistic logic
Закрыть
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

On functional completeness in the gr. moisil dual intuitionistic logic


Pag. 301-303

Raţiu Mefodie
 
Institute of Mathematics and Computer Science ASM
 
 
Disponibil în IBN: 12 martie 2024


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