Syntax and semantics of simple paracomplete logics (Q2856070)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Syntax and semantics of simple paracomplete logics |
scientific article; zbMATH DE number 6218415
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Syntax and semantics of simple paracomplete logics |
scientific article; zbMATH DE number 6218415 |
Statements
23 October 2013
0 references
paracomplete logic
0 references
paraconsistent logic
0 references
cortege semantics
0 references
valuation semantics
0 references
sequent calculus
0 references
natrual deduction calculus
0 references
Syntax and semantics of simple paracomplete logics (English)
0 references
