Sciweavers

532 search results - page 20 / 107

» The Logic of Quasi-MV Algebras

29

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

14 years 1 months ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

23

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

13 years 11 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 »

22

MLQ
2006

72views more MLQ 2006»

Categorical abstract algebraic logic: The largest theory system included in a theory family

13 years 9 months ago

Categorical abstract algebraic logic: The largest theory system included in a theory family

Download voutsadakis.com

George Voutsadakis

claim paper

Read More »

29

DLOG
2009

97views Automated Reasoning» more DLOG 2009»

A Semantic Algebra for Modularized Description Logics Knowledge Bases

13 years 7 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 »

37

LOGCOM
2010

152views more LOGCOM 2010»

Constructive Logic with Strong Negation as a Substructural Logic

13 years 4 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 20 / 107 Last » Next »