A general relational semantics of propositional logic: axiomatization (Q2148780)
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 7547735
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A general relational semantics of propositional logic: axiomatization |
scientific article; zbMATH DE number 7547735 |
Statements
A general relational semantics of propositional logic: axiomatization (English)
0 references
24 June 2022
0 references
relational semantics
0 references
intuitionistic logic
0 references
quantum logic
0 references
0.7770857810974121
0 references
0.7554776668548584
0 references
0.7462019324302673
0 references
0.7435956001281738
0 references
0.7379394769668579
0 references
