ALTERNATIVE CUT-FREE SEQUENT CALCULI FOR S4 THAT ARE COMPATIBLE WITH PARADEFINITE FOUR-VALUED LOGIC.

Saved in:

Bibliographic Details
Title:	ALTERNATIVE CUT-FREE SEQUENT CALCULI FOR S4 THAT ARE COMPATIBLE WITH PARADEFINITE FOUR-VALUED LOGIC.
Authors:	NORIHIRO KAMIDE¹ drnkamide08@kpd.biglobe.ne.jp
Source:	Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP). Jan2025, Vol. 12 Issue 1, p19-62. 44p.
Database:	Mathematics Source

Description
ISSN:	26319810