Consequence Operations Based on Hypergraph Satisfiability

ISSN： 0039-3215

Source： Studia Logica, Vol.58, Iss.2, 1997-03, pp. : 261-272

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Some Supervaluation-based Consequence Relations

By Kremer P. Kremer M.

Journal of Philosophical Logic, Vol. 32, Iss. 3, 2003-06 ,pp. : 225-244

Springer Publishing Company

Access to resources Recommend Favorite

Buridan's Consequentia : Consequence and Inference Within a Token-Based Semantics

By Novaes Catarina Dutilh

History and Philosophy of Logic, Vol. 26, Iss. 4, 2005-11 ,pp. : 277-297

Taylor & Francis Ltd

Access to resources Recommend Favorite

On consequence dependence

By Garcia J.L.A.

Australasian Journal of Philosophy, Vol. 67, Iss. 2, 1989-06 ,pp. : 221-226

Routledge Ltd

Access to resources Recommend Favorite

Reversed Resolution in Reducing General Satisfiability Problem

By Kolany Adam

Studia Logica, Vol. 95, Iss. 3, 2010-08 ,pp. : 407-416

Springer Publishing Company

Access to resources Recommend Favorite

Satisfiability Testing for Boolean Formulas Using Δ-trees

By Gutiérrez G. de Guzmán I.P. Martínez J. Ojeda-Aciego M. Valverde A.

Studia Logica, Vol. 72, Iss. 1, 2002-10 ,pp. : 85-112

Springer Publishing Company

Access to resources Recommend Favorite