12 results on '"Kamide, Norihiro"'
Search Results
2. Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic
3. Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi
4. Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic
5. Paraconsistent Double Negations as Classical and Intuitionistic Negations
6. Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant
7. A Hierarchy of Weak Double Negations
8. Synchronized Linear-Time Temporal Logic
9. Proof Systems Combining Classical and Paraconsistent Negations
10. Gentzen-Type Methods for Bilattice Negation
11. Quantized Linear Logic, Involutive Quantales and Strong Negation
12. Substructural Implicational Logics including the Relevant Logic E
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.