Minimal sets on propositional formulae. Problems and reductions

, &
Artificial Intelligence 252 (C):22-50 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2017.07.005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the query complexity of selecting minimal sets for monotone predicates.Mikoláš Janota & Joao Marques-Silva - 2016 - Artificial Intelligence 233 (C):73-83.
An interpretation of a certain fragment of arithmetic in some propositional calculus.Zdzislaw Dywan - 1984 - Bulletin of the Section of Logic 13 (2):99-103.
Simple characterization of functionally complete one‐element sets of propositional connectives.Petar Maksimović & Predrag Janičić - 2006 - Mathematical Logic Quarterly 52 (5):498-504.
The Decidability of Dependency in Intuitionistic Propositional Logi.Dick De Jongh & L. A. Chagrova - 1995 - Journal of Symbolic Logic 60 (2):498 - 504.
Isomorphic formulae in classical propositional logic.Kosta Došen & Zoran Petrić - 2012 - Mathematical Logic Quarterly 58 (1):5-17.
Algorithms for computing minimal equivalent subformulas.Anton Belov, Mikoláš Janota, Inês Lynce & Joao Marques-Silva - 2014 - Artificial Intelligence 216:309-326.
The decidability of dependency in intuitionistic propositional Logi.Dick de Jongh & L. A. Chagrova - 1995 - Journal of Symbolic Logic 60 (2):498-504.
Hausdorff measure on o-minimal structures.A. Fornasiero & E. Vasquez Rifo - 2012 - Journal of Symbolic Logic 77 (2):631-648.
On the weak Kleene scheme in Kripke's theory of truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.
On the Turing degrees of minimal index sets.Jason Teutsch - 2007 - Annals of Pure and Applied Logic 148 (1):63-80.
Immunity and Hyperimmunity for Sets of Minimal Indices.Frank Stephan & Jason Teutsch - 2008 - Notre Dame Journal of Formal Logic 49 (2):107-125.
Tame Topology over dp-Minimal Structures.Pierre Simon & Erik Walsberg - 2019 - Notre Dame Journal of Formal Logic 60 (1):61-76.
The Undecidability of Propositional Adaptive Logic.Leon Horsten & Philip Welch - 2007 - Synthese 158 (1):41-60.
On the strength and scope of DLS.Willem Conradie - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):279-296.
Why is the universe of sets not a set?Zeynep Soysal - 2017 - Synthese 197 (2):575-597.

Analytics

Added to PP
2020-12-22

Downloads
9 (#1,187,161)

6 months
8 (#292,366)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
SAT-based MaxSAT algorithms.Carlos Ansótegui, Maria Luisa Bonet & Jordi Levy - 2013 - Artificial Intelligence 196 (C):77-105.
Optimizing with minimum satisfiability.Chu Min Li, Zhu Zhu, Felip Manyà & Laurent Simon - 2012 - Artificial Intelligence 190 (C):32-44.

View all 11 references / Add more references