Papers

Basic information

Name Hiroyo Ishikawa
Belonging department Management Information Course,Department of Business,Faculty of Humanities and Social Sciences
Occupation name Associate Professor
researchmap researcher code
researchmap agency

Title 

Convert from KL-type to LJ-type of Proof Diagrams in Knowledge Logic(master's thesis)

					

					

						

							

								

									
Bibliography怀Type 

									
								

							

						

						
Sole Author

					

					

						

							

								

									
Summary 

									
								

							

						

						
We presented a KLK system for knowledge propositions using the Knowledge-operator, which is equivalent to a Hilbert-style deduction system by adding inference rules for knowledge to the Gentzen-style system. In addition, we proposed an automatic proof algorithm by computer, which enables automatic proof of knowledge propositions.

					

					

						

							

								

									
Magazine(name) 

									
								

							

						

						
 

					

					

						

							

								

									
Date of Issue 

									
								

							

						

						
199503