From the research on logics without tautologies (part 1) (Q4925170)
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: From the research on logics without tautologies (part 1) |
scientific article; zbMATH DE number 6174092
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From the research on logics without tautologies (part 1) |
scientific article; zbMATH DE number 6174092 |
Statements
From the research on logics without tautologies (part 1) (English)
0 references
11 June 2013
0 references
logic without tautologies
0 references
logical matrix
0 references
consequence operation
0 references
rule characterization
0 references
Kleene's logic
0 references
0.9012580513954164
0 references
0.8971966505050659
0 references
0.7353125214576721
0 references
