default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNorihiro Kamide
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j95]Norihiro Kamide
:
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics. J. Log. Lang. Inf. 33(2): 143-178 (2024)- 2023
- [j94]Norihiro Kamide:
Embedding First-order Classical Logic into Gurevich's Extended First-order Intuitionistic Logic: The Role of Strong Negation. FLAP 10(6): 1025-1058 (2023) - [j93]Norihiro Kamide:
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5. J. Log. Lang. Inf. 32(3): 395-440 (2023) - [j92]Norihiro Kamide:
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic. Stud Logica 111(6): 979-1014 (2023) - [c56]Norihiro Kamide:
Natural Deduction with Explosion and Excluded Middle. ISMVL 2023: 24-29 - [c55]Norihiro Kamide:
Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic. ISMVL 2023: 30-35 - 2022
- [j91]Norihiro Kamide:
Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples. Int. J. Softw. Eng. Knowl. Eng. 32(1): 131-162 (2022) - [j90]Norihiro Kamide:
Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking. Int. J. Softw. Eng. Knowl. Eng. 32(7): 971-1017 (2022) - [j89]Norihiro Kamide:
Falsification-Aware Semantics and Sequent Calculi for Classical Logic. J. Philos. Log. 51(1): 99-126 (2022) - [j88]Norihiro Kamide:
Embedding Friendly First-Order Paradefinite and Connexive Logics. J. Philos. Log. 51(5): 1055-1102 (2022) - [j87]Norihiro Kamide:
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi. Logica Universalis 16(3): 389-417 (2022) - [c54]Norihiro Kamide:
Reasoning with Inconsistency-tolerant Fuzzy Description Logics. ICAART (3) 2022: 63-74 - [c53]Norihiro Kamide, Seidai Kanbe:
Falsification-aware Semantics for CTL and Its Inconsistency-tolerant Subsystem: Towards Falsification-aware Model Checking. ICAART (3) 2022: 242-252 - [c52]Norihiro Kamide:
Falsification-aware Semantics for Description Logics. ISMVL 2022: 100-105 - [c51]Norihiro Kamide:
Falsification-aware Twist Structures in Description Logic. ISMVL 2022: 119-124 - 2021
- [j86]Norihiro Kamide:
Modal and Intuitionistic Variants of Extended Belnap-Dunn Logic with Classical Negation. J. Log. Lang. Inf. 30(3): 491-531 (2021) - [j85]Norihiro Kamide:
Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems. J. Philos. Log. 50(4): 781-811 (2021) - [j84]Norihiro Kamide:
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi. Stud Logica 109(6): 1241-1271 (2021) - [c50]Norihiro Kamide, Noriko Yamamoto:
Inconsistency-tolerant Hierarchical Probabilistic Computation Tree Logic and Its Application to Model Checking. ICAART (2) 2021: 490-499 - [c49]Norihiro Kamide:
Symmetric Paraconsistent Quantum Logic. ISMVL 2021: 26-32 - [c48]Norihiro Kamide:
Notes on Avron's Self-extensional Four-valued Paradefinite Logic. ISMVL 2021: 43-49 - 2020
- [j83]Norihiro Kamide, Yoni Zohar:
Modal extension of ideal paraconsistent four-valued logic and its subsystem. Ann. Pure Appl. Log. 171(10): 102830 (2020) - [j82]Norihiro Kamide:
Some Properties for First-order Nelsonian Paraconsistent Quantum Logic. FLAP 7(1): 59-88 (2020) - [j81]Norihiro Kamide:
Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation. FLAP 8(5): 1101-1122 (2020) - [j80]Norihiro Kamide:
Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion. J. Philos. Log. 49(6): 1185-1212 (2020) - [j79]Norihiro Kamide:
Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion. J. Philos. Log. 49(6): 1213 (2020) - [j78]Norihiro Kamide, Yoni Zohar:
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic. Stud Logica 108(3): 549-571 (2020) - [c47]Norihiro Kamide:
An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information. ICAART (2) 2020: 313-321 - [c46]Norihiro Kamide:
Sequential Fuzzy Description Logic: Reasoning for Fuzzy Knowledge Bases with Sequential Information. ISMVL 2020: 218-223 - [c45]Norihiro Kamide:
Completeness of Subtrilattice Logic. ISMVL 2020: 279-284
2010 – 2019
- 2019
- [j77]Norihiro Kamide, Yoni Zohar:
Yet another paradefinite logic: The role of conflation1. Log. J. IGPL 27(1): 93-117 (2019) - [j76]Norihiro Kamide:
Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework. Logica Universalis 13(1): 37-63 (2019) - [j75]Norihiro Kamide:
A Substructural View of Multilattice Logic. J. Multiple Valued Log. Soft Comput. 33(3): 239-270 (2019) - [c44]Norihiro Kamide:
An Extended Paradefinte Belnap-Dunn Logic that is Embeddable into Classical Logic and Vice Versa. ICAART (2) 2019: 377-387 - [c43]Norihiro Kamide, Yuki Yano:
Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations. ICAART (2) 2019: 762-769 - [c42]Norihiro Kamide, Juan Pedro Altamirano Bernal:
Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work. ICAART (2) 2019: 869-878 - [c41]Norihiro Kamide, Yoni Zohar:
Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic. ISMVL 2019: 120-125 - [c40]Norihiro Kamide:
First-Order Nelsonian Paraconsistent Quantum Logic. ISMVL 2019: 176-181 - 2018
- [j74]Norihiro Kamide:
Proof Theory of Paraconsistent Quantum Logic. J. Philos. Log. 47(2): 301-324 (2018) - [j73]Norihiro Kamide:
Decidable temporal and sequential relevant logics. J. Log. Comput. 28(2): 403-432 (2018) - [j72]Norihiro Kamide:
Extending paraconsistent quantum logic: a single-antecedent/succedent system approach. Math. Log. Q. 64(4-5): 371-386 (2018) - [j71]Norihiro Kamide:
Logical foundations of hierarchical model checking. Data Technol. Appl. 52(4): 539-563 (2018) - [c39]Norihiro Kamide, Kazuki Endo:
Logics and Translations for Inconsistency-tolerant Model Checking. ICAART (2) 2018: 191-200 - [c38]Norihiro Kamide, Kazuki Endo:
Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations, and Examples. ICAART (Revised Selected Papers) 2018: 312-342 - 2017
- [j70]Norihiro Kamide:
Logics with definitional reflection rules. J. Log. Comput. 27(5): 1523-1548 (2017) - [j69]Norihiro Kamide, Yaroslav Shramko:
Embedding from multilattice logic into classical logic and vice versa. J. Log. Comput. 27(5): 1549-1575 (2017) - [j68]Norihiro Kamide:
Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic. J. Log. Comput. 27(7): 2271-2301 (2017) - [j67]Norihiro Kamide, Yaroslav Shramko:
Modal Multilattice Logic. Logica Universalis 11(3): 317-343 (2017) - [j66]Norihiro Kamide:
Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning. Reports Math. Log. 52: 3-44 (2017) - [j65]Norihiro Kamide:
Paraconsistent Double Negations as Classical and Intuitionistic Negations. Stud Logica 105(6): 1167-1191 (2017) - [j64]Norihiro Kamide, Yaroslav Shramko, Heinrich Wansing:
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant. Stud Logica 105(6): 1193-1219 (2017) - [c37]Norihiro Kamide:
Phase Semantics for Multilattice Formalism. ISMVL 2017: 31-36 - [c36]Norihiro Kamide:
Extending Ideal Paraconsistent Four-Valued Logic. ISMVL 2017: 49-54 - [c35]Norihiro Kamide:
Natural Deduction for Connexive Paraconsistent Quantum Logic. ISMVL 2017: 207-212 - [c34]Norihiro Kamide, Ryu Yano:
Logics and translations for hierarchical model checking. KES 2017: 31-40 - [c33]Norihiro Kamide, Hitoshi Omori:
An Extended First-Order Belnap-Dunn Logic with Classical Negation. LORI 2017: 79-93 - 2016
- [j63]Norihiro Kamide, Heinrich Wansing:
Completeness of Connexive Heyting-Brouwer Logic. FLAP 3(3): 441-466 (2016) - [j62]Norihiro Kamide, Daiki Koizumi:
Method for Combining Paraconsistency and Probability in Temporal Reasoning. J. Adv. Comput. Intell. Intell. Informatics 20(5): 813-827 (2016) - [j61]Norihiro Kamide:
Bunched sequential information. J. Appl. Log. 15: 150-170 (2016) - [j60]Norihiro Kamide:
A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics. Math. Log. Q. 62(3): 177-189 (2016) - [j59]Norihiro Kamide:
Paraconsistent double negation as a modal operator. Math. Log. Q. 62(6): 552-562 (2016) - [c32]Norihiro Kamide:
Intuitionistic De Morgan Verification and Falsification Logics. ICAART (2) 2016: 233-240 - [c31]Norihiro Kamide:
Duality in Some Intuitionistic Paraconsistent Logics. ICAART (2) 2016: 288-297 - [c30]Norihiro Kamide:
Paraconsistent Double Negation That Can Simulate Classical Negation. ISMVL 2016: 131-136 - [c29]Norihiro Kamide:
Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive Extension. ISMVL 2016: 137-142 - 2015
- [j58]Norihiro Kamide:
Reasoning in Medical and Tutoring Systems: A Decidable First-Order Temporal Paraconsistent Non-Commutative Logic. Int. J. Softw. Informatics 9(1): 73-92 (2015) - [j57]Norihiro Kamide:
Inconsistency-tolerant temporal reasoning with hierarchical information. Inf. Sci. 320: 140-155 (2015) - [j56]Norihiro Kamide:
Trilattice logic: an embedding-based approach. J. Log. Comput. 25(3): 581-611 (2015) - [j55]Norihiro Kamide:
Embedding theorems for LTL and its variants. Math. Struct. Comput. Sci. 25(1): 83-134 (2015) - [j54]Norihiro Kamide:
Interpolation theorems for some variants of LTL. Reports Math. Log. 50: 3-30 (2015) - [c28]Norihiro Kamide:
Inconsistency and Sequentiality in LTL. ICAART (2) 2015: 46-54 - [c27]Norihiro Kamide, Daiki Koizumi:
Combining Paraconsistency and Probability in CTL. ICAART (2) 2015: 285-293 - [c26]Norihiro Kamide:
Single-succedent System Approach to Boolean BI. KES 2015: 27-36 - [c25]Norihiro Kamide:
A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning. LORI 2015: 182-194 - 2014
- [j53]Norihiro Kamide:
Inconsistency-Tolerant Multi-Agent Calculus. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 22(6): 815-830 (2014) - [j52]Norihiro Kamide:
An eight-valued praconsistent logic. Reports Math. Log. 49: 3-21 (2014) - 2013
- [j51]Norihiro Kamide, Ken Kaneiwa:
Reasoning about Resources and Information: A Linear Logic Approach. Fundam. Informaticae 125(1): 51-70 (2013) - [j50]Norihiro Kamide:
Inconsistency-Tolerant Bunched Implications. Int. J. Approx. Reason. 54(2): 343-353 (2013) - [j49]Norihiro Kamide:
Representing any-time and program-iteration by infinitary conjunction. J. Appl. Non Class. Logics 23(3): 284-298 (2013) - [j48]Norihiro Kamide:
Strong normalization in some temporal substructural logics. J. Log. Comput. 23(1): 1-24 (2013) - [j47]Norihiro Kamide:
Temporal Gödel-Gentzen and Girard translations. Math. Log. Q. 59(1-2): 66-83 (2013) - [j46]Norihiro Kamide:
A Hierarchy of Weak Double Negations. Stud Logica 101(6): 1277-1297 (2013) - [j45]Norihiro Kamide:
Temporal BI: Proof system, semantics and translations. Theor. Comput. Sci. 492: 40-69 (2013) - [c24]Norihiro Kamide:
On Natural Eight-Valued Reasoning. ISMVL 2013: 231-236 - [c23]Norihiro Kamide:
Embedding-Based Methods for Trilattice Logic. ISMVL 2013: 237-242 - [c22]Norihiro Kamide:
The Logic of Information Merge and Sequential Information. SMC 2013: 1853-1858 - [c21]Norihiro Kamide:
Modeling and Verifying Inconsistency-Tolerant Temporal Reasoning with Hierarchical Information: Dealing with Students' Learning Processes. SMC 2013: 1859-1864 - [c20]Norihiro Kamide:
Formalizing Inconsistency-Tolerant Relevant Human Reasoning: A Decidable Paraconsistent Relevant Logic with Constructible Falsity. SMC 2013: 1865-1870 - 2012
- [j44]Norihiro Kamide:
Bounded linear-time temporal logic: A proof-theoretic investigation. Ann. Pure Appl. Log. 163(4): 439-466 (2012) - [j43]Norihiro Kamide:
Embedding-based approaches to paraconsistent and temporal description logics. J. Log. Comput. 22(5): 1097-1124 (2012) - [j42]Norihiro Kamide:
Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic. Reports Math. Log. 47: 29-61 (2012) - [j41]Norihiro Kamide:
Reasoning about Time-Dependent Multi-agents: Foundations of Theorem Proving and Model Checking. Trans. Comput. Collect. Intell. 6: 181-201 (2012) - [j40]Norihiro Kamide, Heinrich Wansing:
Proof theory of Nelson's paraconsistent logic: A uniform perspective. Theor. Comput. Sci. 415: 1-38 (2012) - 2011
- [j39]Norihiro Kamide, Heinrich Wansing:
Completeness and cut-elimination theorems for trilattice logics. Ann. Pure Appl. Log. 162(10): 816-835 (2011) - [j38]Norihiro Kamide, Heinrich Wansing:
A Paraconsistent Linear-time Temporal Logic. Fundam. Informaticae 106(1): 1-23 (2011) - [j37]Norihiro Kamide:
Phase semantics for linear-time formalism. Log. J. IGPL 19(1): 121-143 (2011) - [j36]Ken Kaneiwa, Norihiro Kamide:
Conceptual modeling in full computation-tree logic with sequence modal operator. Int. J. Intell. Syst. 26(7): 636-651 (2011) - [j35]Norihiro Kamide:
Concept Finding Proofs. J. Adv. Comput. Intell. Intell. Informatics 15(7): 777-784 (2011) - [j34]Norihiro Kamide:
Notes on Craig interpolation for LJ with strong negation. Math. Log. Q. 57(4): 395-399 (2011) - [j33]Ken Kaneiwa, Norihiro Kamide:
Paraconsistent Computation Tree Logic. New Gener. Comput. 29(4): 391-408 (2011) - [j32]Norihiro Kamide:
A logic of sequences. Reports Math. Log. 46: 29-57 (2011) - [j31]Heinrich Wansing, Norihiro Kamide:
Synchronized Linear-Time Temporal Logic. Stud Logica 99(1-3): 365-388 (2011) - [c19]Norihiro Kamide:
On Temporal Gödel-Gentzen Translation. KES (2) 2011: 225-234 - [c18]Norihiro Kamide:
A Decidable First-Order Logic for Medical Reasoning. KES (2) 2011: 235-245 - [c17]Norihiro Kamide:
Interpolation Theorems for Some Extended Description Logics. KES (2) 2011: 246-255 - [c16]Norihiro Kamide:
Paraconsistent Semantics for Description Logics: A Comparison. KES (1) 2011: 599-608 - 2010
- [j30]Ken Kaneiwa, Norihiro Kamide:
Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application. Appl. Artif. Intell. 24(10): 896-913 (2010) - [j29]Norihiro Kamide, Heinrich Wansing:
Combining linear-time temporal logic with constructiveness and paraconsistency. J. Appl. Log. 8(1): 33-61 (2010) - [j28]Norihiro Kamide:
Dynamic Non-Commutative Logic. J. Log. Lang. Inf. 19(1): 33-51 (2010) - [j27]Heinrich Wansing, Norihiro Kamide:
Intuitionistic Trilattice Logics. J. Log. Comput. 20(6): 1201-1229 (2010) - [j26]Norihiro Kamide:
Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems. Reports Math. Log. 45: 3-21 (2010) - [c15]Norihiro Kamide, Ken Kaneiwa:
Resource-Sensitive Reasoning with Sequential Information. Australasian Conference on Artificial Intelligence 2010: 22-31 - [c14]Norihiro Kamide:
Paraconsistent Description Logics Revisited. Description Logics 2010 - [c13]Norihiro Kamide:
A Compatible Approach to Temporal Description Logics. Description Logics 2010 - [c12]Norihiro Kamide, Ken Kaneiwa:
Paraconsistent Negation and Classical Negation in Computation Tree Logic. ICAART (1) 2010: 464-469 - [c11]Norihiro Kamide:
Branching-time Versus Linear-time - A Cooperative and Feasible Approach. ICAART (1) 2010: 522-526 - [c10]Norihiro Kamide:
Reasoning about Bounded Time Domain - An Alternative to NP-Complete Fragments of LTL. ICAART (1) 2010: 536-539 - [c9]Norihiro Kamide:
A Logic for Incomplete Sequential Information. KES (2) 2010: 153-162 - [c8]Norihiro Kamide:
A Proof System for Time-Dependent Multi-agents. KES (1) 2010: 178-187 - [c7]Norihiro Kamide:
Completeness for Generalized First-Order LTL. KI 2010: 246-254 - [c6]Norihiro Kamide:
A Sequent Calculus for 3-Dimensional Space. SBIA 2010: 263-272 - [c5]Norihiro Kamide:
A Proof System for Temporal Reasoning with Sequential Information. SBIA 2010: 283-292 - [c4]Norihiro Kamide:
A Logic for Conceptual Hierarchies. SBIA 2010: 303-312
2000 – 2009
- 2009
- [j25]Norihiro Kamide, Heinrich Wansing:
Sequent Calculi for some Trilattice Logics. Rev. Symb. Log. 2(2): 374-395 (2009) - [j24]Norihiro Kamide:
Proof Systems Combining Classical and Paraconsistent Negations. Stud Logica 91(2): 217-238 (2009) - [c3]Norihiro Kamide, Ken Kaneiwa:
Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures. Australasian Conference on Artificial Intelligence 2009: 485-494 - 2008
- [j23]Motohiko Mouri, Norihiro Kamide:
Strong Normalizability of Typed Lambda-Calculi for Substructural Logics. Logica Universalis 2(2): 189-207 (2008) - [c2]Norihiro Kamide:
Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic. CLIMA 2008: 57-76 - [c1]Norihiro Kamide:
Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials. JELIA 2008: 245-257 - 2007
- [j22]Norihiro Kamide:
Towards a theory of resource: an approach based on soft exponentials. J. Appl. Non Class. Logics 17(1): 63-89 (2007) - [j21]Norihiro Kamide:
A Uniform Proof-theoretic Foundation for Abstract Paraconsistent Logic Programming. J. Funct. Log. Program. 2007 (2007) - [j20]Norihiro Kamide:
Synthesized substructural logics. Math. Log. Q. 53(3): 219-225 (2007) - 2006
- [j19]Norihiro Kamide:
Foundations of Paraconsistent Resolution. Fundam. Informaticae 71(4): 419-441 (2006) - [j18]Norihiro Kamide:
Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. J. Log. Lang. Inf. 15(4): 371-401 (2006) - [j17]Norihiro Kamide:
Linear and affine logics with temporal, spatial and epistemic operators. Theor. Comput. Sci. 353(1-3): 165-207 (2006) - 2005
- [j16]Norihiro Kamide:
Natural deduction systems for Nelson's paraconsistent logic and its neighbors. J. Appl. Non Class. Logics 15(4): 405-435 (2005) - [j15]Norihiro Kamide:
Linear Logics with Communication-merge. J. Log. Comput. 15(1): 3-20 (2005) - [j14]Norihiro Kamide:
A spatial modal logic with a location interpretation. Math. Log. Q. 51(4): 331-341 (2005) - [j13]Norihiro Kamide:
On a logic of involutive quantales. Math. Log. Q. 51(6): 579-585 (2005) - [j12]Norihiro Kamide:
Gentzen-Type Methods for Bilattice Negation. Stud Logica 80(2-3): 265-289 (2005) - 2004
- [j11]Norihiro Kamide:
Combining Soft Linear Logic and Spatio-temporal Operators. J. Log. Comput. 14(5): 625-650 (2004) - [j10]Norihiro Kamide:
Quantized Linear Logic, Involutive Quantales and Strong Negation. Stud Logica 77(3): 355-384 (2004) - 2003
- [j9]Norihiro Kamide:
Normal Modal Substructural Logics with Strong Negation. J. Philos. Log. 32(6): 589-612 (2003) - [j8]Norihiro Kamide:
Classical linear logics with mix separation principle. Math. Log. Q. 49(2): 201-209 (2003) - [j7]Norihiro Kamide:
A note on dual-intuitionistic logic. Math. Log. Q. 49(5): 519-524 (2003) - 2002
- [j6]Norihiro Kamide:
Sequent Calculi for Intuitionistic Linear Logic with Strong Negation. Log. J. IGPL 10(6): 653-678 (2002) - [j5]Norihiro Kamide:
Substructural Logics with Mingle. J. Log. Lang. Inf. 11(2): 227-249 (2002) - [j4]Norihiro Kamide:
Kripke Semantics for Modal Substructural Logics. J. Log. Lang. Inf. 11(4): 453-470 (2002) - [j3]Norihiro Kamide:
Relevance Principle for Substructural Logics with Mingle and Strong Negation. J. Log. Comput. 12(6): 913-928 (2002) - [j2]Norihiro Kamide:
A Canonical Model Construction for Substructural Logics with Strong Negation. Reports Math. Log. 36: 95-116 (2002)
1990 – 1999
- 1999
- [j1]Ryo Kashima, Norihiro Kamide:
Substructural Implicational Logics Including the Relevant Logic E. Stud Logica 63(2): 181-212 (1999)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-03 20:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
