| Publication | Date of Publication | Type |
|---|
On the choice of primitives in tense logic
| 2024-10-24 | Paper |
Bilattice tableau calculi with rough set semantics
| 2024-10-24 | Paper |
Epistemic situation calculus based on granular computing. A new approach to common-sense reasoning
Intelligent Systems Reference Library | 2023-08-24 | Paper |
A survey of annotated logics
Towards Paraconsistent Engineering | 2020-02-04 | Paper |
Paraconsistency, Chellas's conditional logics, and association rules
Towards Paraconsistent Engineering | 2020-02-04 | Paper |
Why paraconsistent logics?
Towards Paraconsistent Engineering | 2020-02-04 | Paper |
Programming with annotated logics
Towards Paraconsistent Engineering | 2020-02-04 | Paper |
A Review on Rough Sets and Possible World Semantics for Modal Logics
Towards Paraconsistent Engineering | 2020-02-04 | Paper |
Jair Minoro Abe on paraconsistent engineering
Towards Paraconsistent Engineering | 2020-02-04 | Paper |
Topics in rough set theory. Current applications to granular computing
Intelligent Systems Reference Library | 2019-09-05 | Paper |
Tableaux for logic programming with strong negation
Lecture Notes in Computer Science | 2019-01-15 | Paper |
Reasoning with rough sets. Logical approaches to granularity-based framework
Intelligent Systems Reference Library | 2018-11-28 | Paper |
Partial and paraconsistent approaches to future contingents in tense logic
Synthese | 2017-03-14 | Paper |
Non-classical logics and intelligent systems
The Handbook on Reasoning-Based Intelligent Systems | 2016-11-09 | Paper |
Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning
Intelligent Systems Reference Library | 2015-05-05 | Paper |
Elements of quantum computing. History, theories and engineering applications
| 2014-07-04 | Paper |
Constructive discursive logic with strong negation
Logique et Analyse. Nouvelle Série | 2012-08-06 | Paper |
A three-valued modal tense logic for the master argument
| 2011-07-27 | Paper |
Uncertainty in future: A paraconsistent approach
Advances in Intelligent and Soft Computing | 2010-09-21 | Paper |
Granularity and approximation in sequences, multisets, and sets in the framework of Kripke semantics
Advances in Intelligent and Soft Computing | 2010-09-21 | Paper |
A granularity-based framework of deduction, induction, and abduction
International Journal of Approximate Reasoning | 2010-04-07 | Paper |
Curry and Fitch on paradox
| 2009-03-02 | Paper |
scientific article; zbMATH DE number 5295858 (Why is no real title available?)
| 2008-07-01 | Paper |
Three-valued temporal logic \(Q_t\) and future contingents
Studia Logica | 2008-04-23 | Paper |
A three-valued temporal logic for future contingents
| 2007-11-13 | Paper |
scientific article; zbMATH DE number 5060081 (Why is no real title available?)
| 2006-10-04 | Paper |
scientific article; zbMATH DE number 2079776 (Why is no real title available?)
| 2004-07-30 | Paper |
Nelson's paraconsistent logics
Logic and Logical Philosophy | 2002-09-24 | Paper |
scientific article; zbMATH DE number 1735916 (Why is no real title available?)
| 2002-04-29 | Paper |
Facts, semantics and intuitionism
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
Annotated logics \(Q\tau\) and ultraproducts
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
scientific article; zbMATH DE number 1140573 (Why is no real title available?)
| 1998-09-21 | Paper |
scientific article; zbMATH DE number 1140579 (Why is no real title available?)
| 1998-04-13 | Paper |
Curry's paradox in contractionless constructive logic
Journal of Philosophical Logic | 1996-06-09 | Paper |
The Gentzen-Kripke construction of the intermediate logic LQ
Notre Dame Journal of Formal Logic | 1992-07-22 | Paper |
Subformula semantics for strong negation systems
Journal of Philosophical Logic | 1990-01-01 | Paper |
Constructive predicate logic with strong negation and model theory
Notre Dame Journal of Formal Logic | 1988-01-01 | Paper |
On the Proof Method for Constructive Falsity
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4160687 (Why is no real title available?)
| 1987-01-01 | Paper |
