The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) (Q6043014)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7682105
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) |
scientific article; zbMATH DE number 7682105 |
Statements
The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) (English)
0 references
4 May 2023
0 references
relevant logics
0 references
non-transitive logics
0 references
\(p\)-matrix
0 references
weak Kleene algebra
0 references
infectious logics
0 references
0 references
0.7631690502166748
0 references
0.7581538558006287
0 references
0.7558119297027588
0 references
0.7499454617500305
0 references
