No label defined (Q5285135)
From MaRDI portal
scientific article; zbMATH DE number 975727
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 975727 |
Statements
4 February 1997
0 references
modal logic
0 references
modified modus ponens
0 references
LPC+Ch
0 references
predicate calculus
0 references
modifier operators
0 references
propositional system
0 references
