Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michiro Kondo
Errata: ``The Completeness Theorems for Some Intuitionistic Logics in Terms of Interval Semantics''
Publications of the Research Institute for Mathematical Sciences
Mathematics
Solutions for Porte's Conjectures
Publications of the Research Institute for Mathematical Sciences
Mathematics
Related publications
Simple Completeness Proofs for Some Spatial Logics of the Real Line
Some Fixed Point Theorems in Intuitionistic Fuzzy Metric Spaces
Tamkang Journal of Mathematics
Materials Science
Applied Mathematics
Alloys
Metals
Mathematics
Completeness and Herbrand Theorems for Nominal Logic
Journal of Symbolic Logic
Philosophy
Logic
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Completeness Theorems for the Abadi–Rogaway Language of Encrypted Expressions1
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Fuzzy Description Logics Under Gödel Semantics
International Journal of Approximate Reasoning
Applied Mathematics
Theoretical Computer Science
Artificial Intelligence
Software
Modal Logics and Topological Semantics for Hybrid Systems
On Arithmetical Completeness of First-Order Logics of Provability
Combining Derivations and Refutations for Cut-Free Completeness in Bi-Intuitionistic Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software