Sciweavers

14 search results - page 1 / 3

» aiml 2006

111

Voted

AIML
2006

89views Logical Reasoning» more AIML 2006»

The variety of modal FLew-algebras is generated by its finite simple members

15 years 4 months ago

The variety of modal FLew-algebras is generated by its finite simple members

Download unit.aist.go.jp

Hiroki Takamura

claim paper

Read More »

118

AIML
2006

113views Logical Reasoning» more AIML 2006»

A Kripke-Joyal Semantics for Noncommutative Logic in Quantales

15 years 4 months ago

A Kripke-Joyal Semantics for Noncommutative Logic in Quantales

Download homepages.mcs.vuw.ac.nz

Robert Goldblatt

claim paper

Read More »

105

AIML
2006

86views Logical Reasoning» more AIML 2006»

On the Deterministic Horn Fragment of Test-free PDL

15 years 4 months ago

On the Deterministic Horn Fragment of Test-free PDL

Download www.mimuw.edu.pl

Linh Anh Nguyen

claim paper

Read More »

120

Voted

AIML
2006

111views Logical Reasoning» more AIML 2006»

Developing Modal Tableaux and Resolution Methods via First-Order Resolution

15 years 4 months ago

Developing Modal Tableaux and Resolution Methods via First-Order Resolution

Download www.cs.bham.ac.uk

Renate A. Schmidt

claim paper

Read More »

112

Voted

AIML
2006

115views Logical Reasoning» more AIML 2006»

Logics with an existential modality

15 years 4 months ago

Logics with an existential modality

Download www.cs.nott.ac.uk

Natasha Alechina, Dmitry Shkatov

claim paper

Read More »

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