1 problem

0 votes0 replies0 views
The GRPL graded and non-graded formula switching conjecture
Graded–non-graded switching conjecture. If the system ${\mathrm {GRPL}}$ were developed in more detail, it would also include rules allowing switching between graded and non-graded…
Conjectureopenmany-valued-logic pavelka-logic proof-theoryarXiv posted 2 days ago

The GRPL graded and non-graded formula switching conjecture