No label defined (Q4217280)
From MaRDI portal
scientific article; zbMATH DE number 1219632
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1219632 |
Statements
4 November 1998
0 references
modal logic
0 references
intuitionistic logic
0 references
fuzzy logic
0 references
substructural logic
0 references
combining logics
0 references
fibring logics
0 references
fibred semantics
0 references
self-fibring of predicate logics
0 references
temporal logic
0 references
implication logics
0 references
logic programs
0 references
semantic tableaux
0 references
modal tableaux
0 references
fibring labelled deductive systems
0 references
consequence relations
0 references
derivability
0 references
