The following pages link to Norihiro Kamide (Q266882):
Displayed 50 items.
- Bunched sequential information (Q266883) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Synchronized linear-time temporal logic (Q647400) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Strong normalizability of typed lambda-calculi for substructural logics (Q1001367) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Proof systems combining classical and paraconsistent negations (Q1015485) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Substructural logics with mingle (Q1610623) (← links)
- An extended first-order Belnap-Dunn logic with classical negation (Q1679746) (← links)
- Modal multilattice logic (Q1682294) (← links)
- Paraconsistent double negations as classical and intuitionistic negations (Q1685568) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Inconsistency-tolerant temporal reasoning with hierarchical information (Q1749966) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- Quantized linear logic, involutive quantales and strong negation (Q1770594) (← links)
- Kripke semantics for modal substructural logics (Q1863750) (← links)
- Substructural implicational logics including the relevant logic E (Q1970643) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- A hierarchy of weak double negations (Q2016059) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Falsification-aware semantics and sequent calculi for classical logic (Q2078978) (← links)
- Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← links)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic (Q2186695) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- Dynamic non-commutative logic (Q2268354) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Inconsistency-tolerant bunched implications (Q2375364) (← links)
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework (Q2418013) (← links)
- Gentzen-type calculi for involutive quantales (Q2575479) (← links)
- (Q2758081) (← links)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
- Reasoning about Resources and Information: A Linear Logic Approach (Q2843814) (← links)
- (Q2888152) (← links)
- (Q2904138) (← links)
- Paraconsistent double negation as a modal operator (Q2958215) (← links)
- Symmetric and dual paraconsistent logics (Q3012506) (← links)
- (Q3067641) (← links)
- (Q3067642) (← links)
- (Q3067685) (← links)
- Intuitionistic Trilattice Logics (Q3069727) (← links)
- Phase semantics for linear-time formalism (Q3081245) (← links)