The following pages link to Seiki Akama (Q516416):
Displayed 36 items.
- Partial and paraconsistent approaches to future contingents in tense logic (Q516419) (← links)
- Subformula semantics for strong negation systems (Q584239) (← links)
- A granularity-based framework of deduction, induction, and abduction (Q962933) (← links)
- Constructive predicate logic with strong negation and model theory (Q1104309) (← links)
- The Gentzen-Kripke construction of the intermediate logic LQ (Q1187547) (← links)
- Reasoning with rough sets. Logical approaches to granularity-based framework (Q1625205) (← links)
- Curry's paradox in contractionless constructive logic (Q1914375) (← links)
- Topics in rough set theory. Current applications to granular computing (Q2322811) (← links)
- Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning (Q2343486) (← links)
- Three-valued temporal logic \(Q_t\) and future contingents (Q2426728) (← links)
- (Q2735769) (← links)
- (Q2735849) (← links)
- NON-CLASSICAL LOGICS AND INTELLIGENT SYSTEMS (Q2829935) (← links)
- (Q2904139) (← links)
- (Q3018987) (← links)
- Nelson's paraconsistent logics (Q3149172) (← links)
- (Q3487317) (← links)
- (Q3509214) (← links)
- Granularity and Approximation in Sequences, Multisets, and Sets in the Framework of Kripke Semantics (Q3589908) (← links)
- Uncertainty in Future: A Paraconsistent Approach (Q3589909) (← links)
- (Q3611668) (← links)
- On the Proof Method for Constructive Falsity (Q3812241) (← links)
- (Q4329279) (← links)
- (Q4385342) (← links)
- (Q4385349) (← links)
- (Q4471865) (← links)
- Tableaux for logic programming with strong negation (Q4610313) (← links)
- Elements of Quantum Computing (Q5168389) (← links)
- Why Paraconsistent Logics? (Q5213768) (← links)
- A Survey of Annotated Logics (Q5213771) (← links)
- Programming with Annotated Logics (Q5213779) (← links)
- A Review on Rough Sets and Possible World Semantics for Modal Logics (Q5213780) (← links)
- Paraconsistency, Chellas’s Conditional Logics, and Association Rules (Q5213781) (← links)
- Jair Minoro Abe on Paraconsistent Engineering (Q5213787) (← links)
- (Q5426804) (← links)
- (Q5490623) (← links)