| Publication | Date of Publication | Type |
|---|
Alternative cut-free sequent calculi for S4 that are compatible with paradefinite four-valued logic
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications | 2025-01-16 | Paper |
Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
Journal of Logic, Language and Information | 2024-09-27 | Paper |
| scientific article; zbMATH DE number 7782789 (Why is no real title available?) | 2024-01-02 | Paper |
Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
Studia Logica | 2023-11-17 | Paper |
Falsification-aware calculi and semantics for normal modal logics including S4 and S5
Journal of Logic, Language and Information | 2023-08-14 | Paper |
An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
Logica Universalis | 2022-10-18 | Paper |
| Cut-elimination, completeness, and Craig interpolation theorems for Gurevich's extended first-order intuitionistic logic with strong negation | 2022-10-12 | Paper |
Embedding friendly first-order paradefinite and connexive logics
Journal of Philosophical Logic | 2022-09-30 | Paper |
| Some properties for first-order Nelsonian paraconsistent quantum logic | 2022-09-28 | Paper |
| scientific article; zbMATH DE number 7576852 (Why is no real title available?) | 2022-08-26 | Paper |
Falsification-aware semantics and sequent calculi for classical logic
Journal of Philosophical Logic | 2022-03-04 | Paper |
Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
Studia Logica | 2021-12-27 | Paper |
Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
Journal of Philosophical Logic | 2021-10-25 | Paper |
Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
Journal of Logic, Language and Information | 2021-10-25 | Paper |
Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
Journal of Philosophical Logic | 2021-05-07 | Paper |
| scientific article; zbMATH DE number 7297101 (Why is no real title available?) | 2021-01-15 | Paper |
Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
Logic and Logical Philosophy | 2021-01-08 | Paper |
Modal extension of ideal paraconsistent four-valued logic and its subsystem
Annals of Pure and Applied Logic | 2020-10-07 | Paper |
Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
Studia Logica | 2020-06-09 | Paper |
Extending paraconsistent quantum logic: a single-antecedent/succedent system approach
Mathematical Logic Quarterly | 2020-05-11 | Paper |
Yet another paradefinite logic: The role of conflation1
Logic Journal of the IGPL | 2019-11-04 | Paper |
Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
Logica Universalis | 2019-05-31 | Paper |
Decidable temporal and sequential relevant logics*
Journal Of Logic And Computation | 2019-01-31 | Paper |
Representing any-time and program-iteration by infinitary conjunction
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Proof theory of paraconsistent quantum logic
Journal of Philosophical Logic | 2018-05-28 | Paper |
Inconsistency-tolerant temporal reasoning with hierarchical information
Information Sciences | 2018-05-17 | Paper |
Paraconsistent sequential linear-time temporal logic: combining paraconsistency and sequentiality in temporal reasoning
Reports on Mathematical Logic | 2018-03-29 | Paper |
Embedding from multilattice logic into classical logic and vice versa
Journal Of Logic And Computation | 2018-02-13 | Paper |
Logics with definitional reflection rules
Journal Of Logic And Computation | 2018-02-13 | Paper |
Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic
Journal Of Logic And Computation | 2018-02-13 | Paper |
Paraconsistent double negations as classical and intuitionistic negations
Studia Logica | 2017-12-14 | Paper |
Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
Studia Logica | 2017-12-14 | Paper |
| Interpolation theorems for some variants of LTL | 2017-12-11 | Paper |
Modal multilattice logic
Logica Universalis | 2017-11-29 | Paper |
| An extended first-order Belnap-Dunn logic with classical negation | 2017-11-22 | Paper |
Paraconsistent double negation as a modal operator
Mathematical Logic Quarterly | 2017-02-01 | Paper |
Embedding theorems for LTL and its variants
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
Mathematical Logic Quarterly (MLQ) | 2016-06-24 | Paper |
Bunched sequential information
Journal of Applied Logic | 2016-04-07 | Paper |
A decidable temporal relevant logic for time-dependent relevant human reasoning
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
Inconsistency-tolerant multi-agent calculus
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2015-10-26 | Paper |
| An eight-valued praconsistent logic | 2015-07-30 | Paper |
Trilattice logic: an embedding-based approach
Journal Of Logic And Computation | 2015-07-15 | Paper |
| scientific article; zbMATH DE number 6407640 (Why is no real title available?) | 2015-02-24 | Paper |
A hierarchy of weak double negations
Studia Logica | 2014-06-19 | Paper |
| Strong Normalization of a Typed Lambda Calculus for Intuitionistic Bounded Linear-time Temporal Logic | 2014-04-25 | Paper |
| scientific article; zbMATH DE number 6287569 (Why is no real title available?) | 2014-04-23 | Paper |
| An embedding-based completeness proof for Nelson's paraconsistent logic | 2014-04-23 | Paper |
| scientific article; zbMATH DE number 6287623 (Why is no real title available?) | 2014-04-23 | Paper |
Temporal BI: proof system, semantics and translations
Theoretical Computer Science | 2014-01-10 | Paper |
Reasoning about resources and information: a linear logic approach
Fundamenta Informaticae | 2013-08-26 | Paper |
Inconsistency-tolerant bunched implications
International Journal of Approximate Reasoning | 2013-06-13 | Paper |
| Connexive modal logic based on positive S4 | 2013-04-24 | Paper |
Strong normalization in some temporal substructural logics
Journal Of Logic And Computation | 2013-04-19 | Paper |
Temporal Gödel-Gentzen and Girard translations
Mathematical Logic Quarterly | 2013-04-09 | Paper |
| scientific article; zbMATH DE number 6131386 (Why is no real title available?) | 2013-01-28 | Paper |
Paraconsistent computation tree logic
New Generation Computing | 2012-11-16 | Paper |
Embedding-based approaches to paraconsistent and temporal description logics
Journal Of Logic And Computation | 2012-10-19 | Paper |
Cut-elimination and completeness in dynamic topological and linear-time temporal logics
Logique et Analyse. Nouvelle Série | 2012-08-06 | Paper |
The logic of sequences
Reports on Mathematical Logic | 2012-05-30 | Paper |
Bounded linear-time temporal logic: a proof-theoretic investigation
Annals of Pure and Applied Logic | 2012-03-13 | Paper |
Proof theory of Nelson's paraconsistent logic: a uniform perspective
Theoretical Computer Science | 2012-03-13 | Paper |
Synchronized linear-time temporal logic
Studia Logica | 2011-11-23 | Paper |
Notes on Craig interpolation for LJ with strong negation
Mathematical Logic Quarterly | 2011-09-27 | Paper |
Completeness and cut-elimination theorems for trilattice logics
Annals of Pure and Applied Logic | 2011-09-22 | Paper |
Symmetric and dual paraconsistent logics
Logic and Logical Philosophy | 2011-07-06 | Paper |
| Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems | 2011-03-30 | Paper |
A Paraconsistent Linear-time Temporal Logic
Fundamenta Informaticae | 2011-03-28 | Paper |
Phase semantics for linear-time formalism
Logic Journal of the IGPL | 2011-03-07 | Paper |
| Strong normalization theorems for quantized \(\lambda \)-calculi | 2011-01-21 | Paper |
| scientific article; zbMATH DE number 5840258 (Why is no real title available?) | 2011-01-21 | Paper |
| Sequential description logic | 2011-01-21 | Paper |
Intuitionistic Trilattice Logics
Journal Of Logic And Computation | 2011-01-19 | Paper |
Combining linear-time temporal logic with constructiveness and paraconsistency
Journal of Applied Logic | 2010-06-11 | Paper |
| A uniform proof-theoretic foundation for abstract paraconsistent logic programming | 2010-05-10 | Paper |
Dynamic non-commutative logic
Journal of Logic, Language and Information | 2010-03-05 | Paper |
Temporal non-commutative logic: expressing time, resource, order and hierarchy
Logic and Logical Philosophy | 2010-02-05 | Paper |
Towards a theory of resource: an approach based on soft exponentials
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Natural deduction systems for Nelson's paraconsistent logic and its neighbors
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
The Review of Symbolic Logic | 2009-08-26 | Paper |
Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
Lecture Notes in Computer Science | 2009-08-20 | Paper |
Proof systems combining classical and paraconsistent negations
Studia Logica | 2009-05-08 | Paper |
Phase semantics and Petri net interpretation for resource-sensitive strong negation
Journal of Logic, Language and Information | 2009-03-24 | Paper |
Strong normalizability of typed lambda-calculi for substructural logics
Logica Universalis | 2009-02-17 | Paper |
Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials
Logics in Artificial Intelligence | 2008-10-27 | Paper |
| scientific article; zbMATH DE number 5270677 (Why is no real title available?) | 2008-05-02 | Paper |
Natural deduction systems for some non-commutative logics
Logic and Logical Philosophy | 2008-03-06 | Paper |
| Extended full computation-tree logics for paraconsistent model checking | 2008-01-28 | Paper |
Synthesized substructural logics
Mathematical Logic Quarterly | 2007-06-26 | Paper |
| A simplified semantics for a fragment of intuitionistic linear logic | 2007-04-27 | Paper |
| Cut-free single-succedent systems revisited | 2007-04-25 | Paper |
| A cut-free system for 16-valued reasoning | 2007-04-25 | Paper |
| scientific article; zbMATH DE number 5050044 (Why is no real title available?) | 2006-08-28 | Paper |
Linear and affine logics with temporal, spatial and epistemic operators
Theoretical Computer Science | 2006-04-28 | Paper |
Gentzen-type methods for bilattice negation
Studia Logica | 2006-01-30 | Paper |
Gentzen-type calculi for involutive quantales
International Journal of Theoretical Physics | 2005-12-12 | Paper |
On a logic of involutive quantales
MLQ | 2005-11-15 | Paper |
A spatial modal logic with a location interpretation
MLQ | 2005-08-01 | Paper |
| scientific article; zbMATH DE number 2170854 (Why is no real title available?) | 2005-05-23 | Paper |
Linear Logics with Communication-merge
Journal Of Logic And Computation | 2005-04-29 | Paper |
Quantized linear logic, involutive quantales and strong negation
Studia Logica | 2005-04-07 | Paper |
Combining Soft Linear Logic and Spatio-temporal Operators
Journal Of Logic And Computation | 2005-03-21 | Paper |
Normal modal substructural logics with strong negation
Journal of Philosophical Logic | 2004-03-15 | Paper |
| scientific article; zbMATH DE number 1916520 (Why is no real title available?) | 2004-01-12 | Paper |
A note on dual-intuitionistic logic
MLQ | 2003-11-10 | Paper |
Relevance Principle for Substructural Logics with Mingle and Strong Negation
Journal Of Logic And Computation | 2003-08-24 | Paper |
Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
Logic Journal of the IGPL | 2003-07-22 | Paper |
Classical linear logics with mix separation principle
Mathematical Logic Quarterly | 2003-04-10 | Paper |
Kripke semantics for modal substructural logics
Journal of Logic, Language and Information | 2003-03-12 | Paper |
Substructural logics with mingle
Journal of Logic, Language and Information | 2002-08-20 | Paper |
Cut elimination theorems and a canonical model construction for some implicational substructural logics
Scientiae Mathematicae Japonicae | 2002-01-31 | Paper |
| scientific article; zbMATH DE number 2024615 (Why is no real title available?) | 2001-01-01 | Paper |
Substructural implicational logics including the relevant logic E
Studia Logica | 2000-09-05 | Paper |
| scientific article; zbMATH DE number 1377699 (Why is no real title available?) | 1999-12-14 | Paper |
| scientific article; zbMATH DE number 1373384 (Why is no real title available?) | 1999-12-02 | Paper |
