-
1
المؤلفون: Norihiro Kamide
المصدر: Logica Universalis. 16:389-417
مصطلحات موضوعية: Logic, Applied Mathematics
-
2
المؤلفون: Norihiro Kamide
المصدر: International Journal of Software Engineering and Knowledge Engineering. 32:971-1017
مصطلحات موضوعية: Artificial Intelligence, Computer Networks and Communications, Computer Graphics and Computer-Aided Design, Software
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e6497b93cf050405260a049d9a49625f
https://doi.org/10.1142/s0218194022500371 -
3
المؤلفون: Norihiro Kamide
المصدر: Journal of Philosophical Logic. 51:1055-1102
مصطلحات موضوعية: Philosophy
-
4
المؤلفون: Norihiro Kamide
المصدر: International Journal of Software Engineering and Knowledge Engineering. 32:131-162
مصطلحات موضوعية: Artificial Intelligence, Computer Networks and Communications, Computer Graphics and Computer-Aided Design, Software
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::474f08c09f028c52386577496e27da75
https://doi.org/10.1142/s0218194022500061 -
5
المؤلفون: Norihiro Kamide
المصدر: Journal of Logic, Language and Information.
مصطلحات موضوعية: Linguistics and Language, Philosophy, Computer Science (miscellaneous)
-
6
المؤلفون: Norihiro Kamide
المصدر: Journal of Philosophical Logic. 51:99-126
مصطلحات موضوعية: Philosophy, Semantics (computer science), Computer science, Completeness (logic), Classical logic, Calculus, Sequent, Constructive
-
7
المؤلفون: Norihiro Kamide
المصدر: Studia Logica. 109:1241-1271
مصطلحات موضوعية: Logic, Semantics (computer science), Computer science, 010102 general mathematics, 06 humanities and the arts, Extension (predicate logic), 0603 philosophy, ethics and religion, 01 natural sciences, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, History and Philosophy of Science, 060302 philosophy, Calculus, Gödel's completeness theorem, 0101 mathematics, Computational linguistics, Hardware_LOGICDESIGN
-
8
المؤلفون: Norihiro Kamide
المصدر: Journal of Logic, Language and Information. 30:491-531
مصطلحات موضوعية: Linguistics and Language, Normal modal logic, 010102 general mathematics, 06 humanities and the arts, Intuitionistic logic, Extension (predicate logic), 0603 philosophy, ethics and religion, 01 natural sciences, Decidability, Algebra, Philosophy, Negation, Completeness (logic), 060302 philosophy, Computer Science (miscellaneous), Embedding, Sequent, 0101 mathematics, Mathematics
-
9
المؤلفون: Norihiro Kamide
المصدر: 2022 IEEE 52nd International Symposium on Multiple-Valued Logic (ISMVL).
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::91d328d02d017e2d8fb767ec11016a43
https://doi.org/10.1109/ismvl52857.2022.00025 -
10
المؤلفون: Norihiro Kamide
المصدر: 2022 IEEE 52nd International Symposium on Multiple-Valued Logic (ISMVL).
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bd58c17c20205dd91572e9e501d55851
https://doi.org/10.1109/ismvl52857.2022.00022