Person:6058201

From MaRDI portal

Available identifiers

zbMath Open toyooka.masanobuMaRDI QIDQ6058201

List of research outcomes





PublicationDate of PublicationType
Combining first-order classical and intuitionistic logic2025-01-09Paper
Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation2024-11-12Paper
A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic2024-06-21Paper
Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic2023-10-31Paper

Research outcomes over time

This page was built for person:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6058201&oldid=37697025"
Powered by MediaWiki