A proof system for fork algebras and its applications to reasoning in logics based on intuitionism (Q2735802)
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: A proof system for fork algebras and its applications to reasoning in logics based on intuitionism |
scientific article; zbMATH DE number 1641291
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A proof system for fork algebras and its applications to reasoning in logics based on intuitionism |
scientific article; zbMATH DE number 1641291 |
Statements
4 September 2001
0 references
interpretability in relational logics
0 references
relational proof systems
0 references
Rasiowa-Sikorski-style deduction systems
0 references
fork algebras
0 references
intermediate logics
0 references
fork logics
0 references
0.89314437
0 references
0.8879029
0 references
0.8866309
0 references
0.8842294
0 references
0.8807889
0 references
0.8804196
0 references
A proof system for fork algebras and its applications to reasoning in logics based on intuitionism (English)
0 references
