Bounded inquisitive logics: sequent calculi and schematic validity (Q6860396)
From MaRDI portal
!
WARNING
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 8157964
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Bounded inquisitive logics: sequent calculi and schematic validity |
scientific article; zbMATH DE number 8157964 |
Statements
Bounded inquisitive logics: sequent calculi and schematic validity (English)
0 references
10 February 2026
0 references
inquisitive logic
0 references
superintuitionistic predicate logics
0 references
labelled sequent calculi
0 references
cut elimination
0 references
schematic validity
0 references
finite boundedness
0 references
constant domains
0 references
