Advances in Logic - Fork Algebras in Algebra, Logic and Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789810248765, 9789812777928

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Interpretability of Classical First-Order Logic

Advances in Logic - Fork Algebras in Algebra, Logic and Computer Science ◽

10.1142/9789812777928_0005 ◽

2002 ◽

pp. 49-72

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

BACK MATTER

Advances in Logic - Fork Algebras in Algebra, Logic and Computer Science ◽

10.1142/9789812777928_bmatter ◽

2002 ◽

pp. 207-217

Download Full-text

A Calculus for Program Construction

Advances in Logic - Fork Algebras in Algebra, Logic and Computer Science ◽

10.1142/9789812777928_0007 ◽

2002 ◽

pp. 139-205

Keyword(s):

Program Construction

Download Full-text

Algebraization of Non-Classical Logics

Advances in Logic - Fork Algebras in Algebra, Logic and Computer Science ◽

10.1142/9789812777928_0006 ◽

2002 ◽

pp. 73-137

Download Full-text

Representability and Independence

Advances in Logic - Fork Algebras in Algebra, Logic and Computer Science ◽

10.1142/9789812777928_0004 ◽

2002 ◽

pp. 37-48

Download Full-text

Algebras of Binary Relations and Relation Algebras

Advances in Logic - Fork Algebras in Algebra, Logic and Computer Science ◽

10.1142/9789812777928_0002 ◽

2002 ◽

pp. 5-18

Keyword(s):

Binary Relations ◽

Relation Algebras

Download Full-text

Introduction and Motivations

Advances in Logic - Fork Algebras in Algebra, Logic and Computer Science ◽

10.1142/9789812777928_0001 ◽

2002 ◽

pp. 1-3

Download Full-text

Proper and Abstract Fork Algebras

Advances in Logic - Fork Algebras in Algebra, Logic and Computer Science ◽

10.1142/9789812777928_0003 ◽

2002 ◽

pp. 19-35

Download Full-text

FRONT MATTER

Advances in Logic - Fork Algebras in Algebra, Logic and Computer Science ◽

10.1142/9789812777928_fmatter ◽

2002 ◽

pp. i-xi

Download Full-text

Advances in Logic - Fork Algebras in Algebra, Logic and Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By WORLD SCIENTIFIC

Interpretability of Classical First-Order Logic

BACK MATTER

A Calculus for Program Construction

Algebraization of Non-Classical Logics

Representability and Independence

Algebras of Binary Relations and Relation Algebras

Introduction and Motivations

Proper and Abstract Fork Algebras

FRONT MATTER

Advances in Logic - Fork Algebras in Algebra, Logic and Computer Science
Latest Publications