Search Sciweavers | Sciweavers

746 search results - page 24 / 150

» Connectionist Propositional Logic

click to vote

TLCA
2009
Springer

158views Theoretical Computer Science» more TLCA 2009»

Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic

15 years 4 months ago

Download www.lix.polytechnique.fr

Abstract. We investigate the question of what constitutes a proof when quantiﬁers and multiplicative units are both present. On the technical level this paper provides two new as...

Lutz Straßburger

claim paper

Read More »

click to vote

ISMVL
2008
IEEE

109views Hardware» more ISMVL 2008»

Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics

15 years 4 months ago

Download www.lix.polytechnique.fr

Victor Chepoi, Nadia Creignou, Miki Hermann, Gerno...

claim paper

Read More »

click to vote

STACS
2007
Springer

72views Theoretical Computer Science» more STACS 2007»

An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic

15 years 4 months ago

Download www-i7.informatik.rwth-aachen.de

Davide Bresolin, Angelo Montanari, Pietro Sala

claim paper

Read More »

click to vote

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

15 years 3 months ago

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

97views Applied Computing» more BIRTHDAY 2005»

A Hierarchical Analysis of Propositional Temporal Logic based on Intervals

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers