Author： Gutiérrez G. de Guzmán I.P. Martínez J. Ojeda-Aciego M. Valverde A.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.72, Iss.1, 2002-10, pp. : 85-112
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Consequence Operations Based on Hypergraph Satisfiability
By Kolany A.
Studia Logica, Vol. 58, Iss. 2, 1997-03 ,pp. :
Access to resources
Recommend
Reversed Resolution in Reducing General Satisfiability Problem
By Kolany Adam
Studia Logica, Vol. 95, Iss. 3, 2010-08 ,pp. :
Logics for Classes of Boolean Monoids
By Allwein Gerard Demir Hilmi Pike Lee
Journal of Logic, Language and Information, Vol. 13, Iss. 3, 2004-22 ,pp. :
Constructive version of Boolean algebra
By Ciraulo Francesco Maietti Maria Emilia Toto Paola
Logic Journal of the IGPL, Vol. 21, Iss. 1, 2013-02 ,pp. :
The elimination of de re formulas
By Kaminski M.
Journal of Philosophical Logic, Vol. 26, Iss. 4, 1997-08 ,pp. :