Art
J-GLOBAL ID：201902006620225158   Reference number：19S2671657

A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (1)：
Motohashi, Nobuyoshi

About Motohashi, Nobuyoshi

(Institute of Mathematics, University of Tsukuba)

About Institute of Mathematics, University of Tsukuba


Material：
Journal of the Mathematical Society of Japan

About Journal of the Mathematical Society of Japan


Volume： 42  Issue： 1  Page： 127-132  Publication year： 1990 
JST Material Number： SCOPUS  ISSN： 0025-5645 
Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
SET

About SET

, 
ITS

About ITS


Return to Previous Page

TOP

BOTTOM