Exactly true and non-falsity logics meeting infectious ones (Q4995617)
From MaRDI portal
scientific article; zbMATH DE number 7363450
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Exactly true and non-falsity logics meeting infectious ones |
scientific article; zbMATH DE number 7363450 |
Statements
Exactly true and non-falsity logics meeting infectious ones (English)
0 references
25 June 2021
0 references
four-valued logic
0 references
infectious logic
0 references
nonsense logic
0 references
first degree entailment
0 references
exactly true logic
0 references
non-falsity logic
0 references
sequent calculi
0 references
0 references
0 references
