No label defined (Q2772907)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article |
Statements
6 February 2003
0 references
algebraizability
0 references
parametrized graded deduction-detachment system
0 references
consequence relation
0 references
generalized matrix model
0 references
protoalgebraic deductive systems
0 references
fully adequate Gentzen system
0 references
Leibniz theory
0 references
weakly algebraizable deductive system
0 references
finitely equivalential deductive system
0 references