Sciweavers

3624 search results - page 46 / 725

» Abstract Algebraic Logic

110

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

15 years 8 months ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

101

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

15 years 5 months ago

Class Algebra as a Description Logic

Download www.aaai.org

Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Je...

claim paper

Read More »

107

AICOM
2008

60views more AICOM 2008»

Algebraic and logical study of constructive processes in knowledge representation

15 years 2 months ago

Algebraic and logical study of constructive processes in knowledge representation

Download people.cs.kuleuven.be

Joost Vennekens

claim paper

Read More »

104

DLOG
2009

97views Automated Reasoning» more DLOG 2009»

A Semantic Algebra for Modularized Description Logics Knowledge Bases

15 years 1 months ago

A Semantic Algebra for Modularized Description Logics Knowledge Bases

Download dl.kr.org

Krzysztof Goczyla, Wojciech Waloszek, Aleksander W...

claim paper

Read More »

150

LOGCOM
2010

152views more LOGCOM 2010»

Constructive Logic with Strong Negation as a Substructural Logic

14 years 10 months ago

Constructive Logic with Strong Negation as a Substructural Logic

Download www.filozof.uni.lodz.pl

Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...

Manuela Busaniche, Roberto Cignoli

claim paper

Read More »

« Prev « First page 46 / 725 Last » Next »