Search Sciweavers | Sciweavers

3044 search results - page 70 / 609

» Linear logical approximations

click to vote

CORR
2009
Springer

63views Education» more CORR 2009»

Modal Logic and the Approximation Induction Principle

13 years 6 months ago

Download www.cs.vu.nl

Maciej Gazda, Wan Fokkink

claim paper

Read More »

click to vote

FSS
2008

87views more FSS 2008»

Triangle algebras: A formal logic approach to interval-valued residuated lattices

13 years 9 months ago

Download www.cwi.ugent.be

In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0

Bart Van Gasse, Chris Cornelis, Glad Deschrijver, ...

claim paper

Read More »

click to vote

CSL
2009
Springer

134views Automated Reasoning» more CSL 2009»

Craig Interpolation for Linear Temporal Languages

14 years 3 months ago

Download www.illc.uva.nl

We study Craig interpolation for fragments and extensions of propositional linear temporal logic (PLTL). We consider various fragments of PLTL obtained by restricting the set of te...

Amélie Gheerbrant, Balder ten Cate

claim paper

Read More »

click to vote

LPNMR
2005
Springer

118views Automated Reasoning» more LPNMR 2005»

Approximating Answer Sets of Unitary Lifschitz-Woo Programs

14 years 2 months ago

Download www.cs.nmsu.edu

We investigate techniques for approximating answer sets of general logic programs of Lifschitz and Woo, whose rules have single literals as heads. We propose three different method...

Victor W. Marek, Inna Pivkina, Miroslaw Truszczyns...

claim paper

Read More »

click to vote

JLP
2008

81views more JLP 2008»

Soft Linear Set Theory

13 years 8 months ago

Download www.iam.unibe.ch

A formulation of na

Richard McKinley

claim paper