Search Sciweavers | Sciweavers

2138 search results - page 3 / 428

» Logical Step-Indexed Logical Relations

click to vote

FSS
2010

119views more FSS 2010»

Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions

13 years 7 months ago

Download sitemason.vanderbilt.edu

Extensions of monoidal t-norm logic MTL and related fuzzy logics with truth stresser modalities such as globalization and “very true” are presented here both algebraically in ...

Agata Ciabattoni, George Metcalfe, Franco Montagna

claim paper

Read More »

click to vote

RELMICS
1998
Springer

135views Theoretical Computer Science» more RELMICS 1998»

Coping with semilattices of relations in logics with relative accessibility relations

14 years 19 days ago

Download www.lsv.ens-cachan.fr

We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...

Stéphane Demri

claim paper

Read More »

click to vote

JOLLI
2000

63views more JOLLI 2000»

Display Calculi for Logics with Relative Accessibility Relations

13 years 8 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Rajeev Goré

claim paper

Read More »

click to vote

RSCTC
1998
Springer

118views Fuzzy Logic» more RSCTC 1998»

Preimage Relations and Their Matrices

14 years 19 days ago

Download www.cs.utu.fi

Jouni Järvinen

claim paper

Read More »

click to vote

SLOGICA
1998

128views more SLOGICA 1998»

Encoding Modal Logics in Logical Frameworks

13 years 8 months ago

Download www.cs.tau.ac.il

We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...

Arnon Avron, Furio Honsell, Marino Miculan, Cristi...

claim paper

Read More »

« Prev « First page 3 / 428 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers