Buscar
Mostrando ítems 21-30 de 544
On Some Semi-Intuitionistic Logics
(Springer, 2015-04-05)
Semi-intuitionistic logic is the logic counterpart to semi-Heyting algebras, which were defined by H. P. Sankappanavar as a generalization of Heyting algebras. We present a new, more streamlined set of axioms for ...
A lógica proposicional do 'quase sempre'
(2012)
We introduce, in this paper, a propositional logic to deal with de notion of ‘almost always’. We do this by adding a new operator in classical propositional logic. This new operator captures the same notions of the quantifier ...
Semi-Intuitionistic Logic with Strong Negation
(Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca, 2019)
Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitionistic logic with strong negation is introduced and proved to be complete with respect to that class of algebras. An axiomatic ...
Implicative subreducts of MV-algebras: free and weakly projective objects
(Birkhauser Verlag Ag, 2017-12)
In this article, we explore in some detail the free and weakly projective objects of the variety of Łukasiewicz implication algebras (the implicative subreducts of MV-algebras). We review the two already known descriptions ...
Free Łukasiewicz implication algebras
(Springer, 2008-06)
Łukasiewicz implication algebras are the {→,1}-subreducts of MV- algebras. They are the algebraic counterpart of Super-Łukasiewicz Implicational Logics investigated in Komori (Nogoya Math J 72:127-133, 1978). In this paper ...
Reconciling First-Order Logic to Algebra
(2018-01-01)
We start from the algebraic method of theorem-proving based on the translation of logic formulas into polynomials over finite fields, and adapt the case of first-order formulas by employing certain rings equipped with ...
A neighbourhood semantic for the Logic TK
(2011)
The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced ...
An Algebraic Study of Tense Operators on Nelson Algebras
(Springer, 2021-04-02)
Ewald considered tense operators G, H, F and P on intuitionistic propositional calculus and constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay introduced the variety IKt of IKt-algebras ...
Quantum computational logic with mixed states
(Wiley VCH Verlag, 2013-01)
In this paper we solve the problem how to axiomatize a system of quantum computational gates known as the Poincaré irreversible quantum computational system. A Hilbert-style calculus is introduced obtaining a strong ...
Lógica
(2015-03-01)