Distributivity in Ł\(_{\aleph_0}\) and other sentential logics (Q5951527)
From MaRDI portal
scientific article; zbMATH DE number 1686113
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Distributivity in Ł\(_{\aleph_0}\) and other sentential logics |
scientific article; zbMATH DE number 1686113 |
Statements
Distributivity in Ł\(_{\aleph_0}\) and other sentential logics (English)
0 references
7 January 2002
0 references
detachment
0 references
distributivity
0 references
infinite-valued logic
0 references
automated reasoning
0 references
OTTER
0 references
nondistributivity
0 references
substructural logics
0 references
logical matrices
0 references
automated model-finding
0 references
MACE
0 references
MAGIC
0 references
