#### Filter Results:

#### Publication Year

1997

2017

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

A key property in the definition of logic programming languages is the completeness of goal-directed proofs. This concept originated in the study of logic programming languages for intuitionistic logic in the (single-conclusioned) sequent calculus LJ, but has subsequently been adapted to multiple-conclusioned systems such as those for linear logic. Given… (More)

Logic programs consist of formulas of mathematical logic and various proof-theoretic techniques can be used to design and analyse execution models for such programs. We brieey review the main problems, which are questions that are still elusive in the design of logic programming languages, from a proof-theoretic point of view. Existing approaches and… (More)

- Tatjana Lutovac, James Harland
- TABLEAUX
- 2005

- Tatjana Lutovac, James Harland
- Electr. Notes Theor. Comput. Sci.
- 2005

- Tatjana Lutovac, James Harland
- J. Log. Comput.
- 2006

- Tatjana Lutovac, James Harland
- Comput. Sci. Inf. Syst.
- 2013

Many important results in proof theory for sequent calculus (cut-elimination, completeness and other properties of search strategies, etc) are proved using permutations of sequent rules. The focus of this paper is on the development of systematic and automated-oriented techniques for the analysis of permutability in some sequent calculi. A representation of… (More)

- Tatjana Lutovac, James Harland
- J. Log. Comput.
- 2014

- Tatjana Lutovac, Branko Malesevic, Cristinel Mortici
- ArXiv
- 2017

The aim of this paper is to present a new algorithm for proving mixed trigonometric-polynomial inequalities of the form n i=1 α i x pi cos qi x sin ri x > 0, by reducing to polynomial inequalities. Finally, we show the great applicability of this algorithm and as examples, we use it to analyze some new rational (Padé) approximations of the function cos 2 x,… (More)

- Tatjana Lutovac
- BCI
- 2012

In many application areas of automated reasoning it is not sufficient to show that a given assertion is true. A good reasoning system should include tools not only for the generation of proofs, but also for the analysis of and manipulations with unsuccessful proof attempts. This paper focuses on the development of automated techniques for the transformation… (More)

Logic programs consist of formulas of mathematical logic and various proof-theoretic techniques can be used to design and analyse execution models for such programs. We brieey review the main problems, which are questions that are still elusive in the design of logic programming languages, from a proof-theoretic point of view. Existing strategies which lead… (More)