Search Sciweavers | Sciweavers

1737 search results - page 10 / 348

» On Interpolation in Existence Logics

123

click to vote

EUSFLAT
2007

147views Fuzzy Logic» more EUSFLAT 2007»

Logical Aggregation Based on Interpolative Realization of Boolean Algebra

15 years 7 months ago

Download www.eusflat.org

In this paper, aggregation is treated as a logical and/or pseudo-logical operation what is important from many points of view such as adequacy and interpretations.

Dragan G. Radojevic

claim paper

Read More »

140

click to vote

AIMSA
2008
Springer

84views Artificial Intelligence» more AIMSA 2008»

Interpolative Boolean Logic

16 years 11 days ago

Download www.fon.rs

Dragan G. Radojevic, Aleksandar Perovic, Zoran Ogn...

claim paper

Read More »

113

click to vote

SYNTHESE
2008

49views more SYNTHESE 2008»

Harmonious logic: Craig's interpolation theorem and its descendants

15 years 6 months ago

Download math.stanford.edu

Solomon Feferman

claim paper

Read More »

click to vote

IGPL
2010

70views more IGPL 2010»

Problem of restricted interpolation in superintuitionistic and some modal logics

15 years 4 months ago

Download a-server.math.nsc.ru

Larisa Maksimova

claim paper

Read More »

142

click to vote

DLOG
2009

93views Automated Reasoning» more DLOG 2009»

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers