Theories of propositional logics and the converse of substitution (Q2678340)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Theories of propositional logics and the converse of substitution |
scientific article |
Statements
Theories of propositional logics and the converse of substitution (English)
0 references
23 January 2023
0 references
exact unifying substitution
0 references
tabular substitutional logic
0 references
superintuitionistic logic
0 references
Łukasiewicz logic
0 references
