Sciweavers

532 search results - page 20 / 107

» The Logic of Quasi-MV Algebras

131

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

15 years 10 months ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

118

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

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

106

MLQ
2006

72views more MLQ 2006»

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

15 years 6 months ago

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

Download voutsadakis.com

George Voutsadakis

claim paper

Read More »

121

DLOG
2009

97views Automated Reasoning» more DLOG 2009»

A Semantic Algebra for Modularized Description Logics Knowledge Bases

15 years 3 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 »

179

LOGCOM
2010

152views more LOGCOM 2010»

Constructive Logic with Strong Negation as a Substructural Logic

15 years 26 days 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 »