| Publication | Date of Publication | Type |
|---|
| On non-deterministic functional completeness | 2024-10-24 | Paper |
Breaking the tie: Benacerraf's identification argument revisited
Philosophia Mathematica. Series III | 2024-06-07 | Paper |
POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND
The Bulletin of Symbolic Logic | 2024-04-09 | Paper |
Quasi-canonical systems and their semantics
Synthese | 2023-12-14 | Paper |
Implication, Equivalence, and Negation
Logical Investigations | 2023-01-16 | Paper |
Why Predicative Sets?
Fields of Logic and Computation III | 2022-11-09 | Paper |
| Reasoning about covering-based rough sets using three truth values | 2022-09-28 | Paper |
| scientific article; zbMATH DE number 7576843 (Why is no real title available?) | 2022-08-26 | Paper |
Proof systems for 3-valued logics based on Gödel's implication
Logic Journal of the IGPL | 2022-07-22 | Paper |
| Analysis in a formal predicative set theory | 2022-06-24 | Paper |
| scientific article; zbMATH DE number 7533333 (Why is no real title available?) | 2022-05-28 | Paper |
| Basing sequent systems on exclusive-or | 2022-05-25 | Paper |
Comments on the Papers
Outstanding Contributions to Logic | 2022-01-04 | Paper |
The middle ground-ancestral logic
Synthese | 2021-11-29 | Paper |
| scientific article; zbMATH DE number 7333175 (Why is no real title available?) | 2021-04-14 | Paper |
scientific article; zbMATH DE number 7333175 (Why is no real title available?)
(available as arXiv preprint) | 2021-04-14 | Paper |
| scientific article; zbMATH DE number 7325813 (Why is no real title available?) | 2021-03-18 | Paper |
Paraconsistency, self-extensionality, modality
Logic Journal of the IGPL | 2021-01-08 | Paper |
Weyl reexamined: ``Das Kontinuum 100 years later
The Bulletin of Symbolic Logic | 2021-01-05 | Paper |
The normal and self-extensional extension of Dunn-Belnap logic
Logica Universalis | 2020-09-10 | Paper |
\(\mathbf{RM}\) and its nice properties
Outstanding Contributions to Logic | 2020-08-07 | Paper |
| First-order quasi-canonical proof systems | 2020-05-14 | Paper |
Three-valued paraconsistent propositional logics
Springer Proceedings in Mathematics & Statistics | 2019-10-31 | Paper |
| Formalizing Scientifically Applicable Mathematics in a Definitional Framework | 2019-09-18 | Paper |
Paraconsistency and the need for infinite semantics
Soft Computing | 2019-08-12 | Paper |
| A simple cut-free system for a paraconsistent logic equivalent to S5 | 2019-07-24 | Paper |
REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
The Review of Symbolic Logic | 2019-06-07 | Paper |
Self-extensional three-valued paraconsistent logics have no implication
Logic Journal of the IGPL | 2019-01-08 | Paper |
Applicable mathematics in a minimal computational theory of sets
(available as arXiv preprint) | 2018-11-02 | Paper |
| Theory of effective propositional paraconsistent logics | 2018-10-02 | Paper |
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Cayley′s Formula: A Page From The Book
The American Mathematical Monthly | 2018-07-12 | Paper |
| scientific article; zbMATH DE number 6863636 (Why is no real title available?) | 2018-04-23 | Paper |
| A minimal computational theory of a minimal computational universe | 2018-04-06 | Paper |
Paraconsistent fuzzy logic preserving non-falsity
Fuzzy Sets and Systems | 2018-02-19 | Paper |
Four-valued paradefinite logics
Studia Logica | 2017-12-14 | Paper |
Self-extensional three-valued paraconsistent logics
Logica Universalis | 2017-11-29 | Paper |
A cut-free calculus for second-order Gödel logic
Fuzzy Sets and Systems | 2017-11-10 | Paper |
| Minimal paradefinite logics for reasoning with incompleteness and inconsistency | 2017-10-17 | Paper |
Modular construction of cut-free sequent calculi for paraconsistent logics
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Efficient reasoning with inconsistent information using C-systems
Information Sciences | 2017-05-16 | Paper |
A logical framework for developing and mechanizing set theories
Automated Reasoning | 2016-09-05 | Paper |
A unified semantic framework for fully structural propositional sequent systems
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Semi-implication: a chapter in universal logic
Studies in Universal Logic | 2015-06-24 | Paper |
The classical constraint on relevance
Logica Universalis | 2015-02-05 | Paper |
Ancestral Logic: A Proof Theoretical Study
Logic, Language, Information, and Computation | 2015-01-13 | Paper |
What is relevance logic?
Annals of Pure and Applied Logic | 2014-01-13 | Paper |
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
Journal Of Logic And Computation | 2013-06-27 | Paper |
| Analytic calculi for basic logics of formal inconsistency | 2013-04-24 | Paper |
A semantic proof of strong cut-admissibility for first-order Godel logic
Journal Of Logic And Computation | 2013-04-19 | Paper |
Non-deterministic connectives in propositional Gödel logic
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) | 2013-01-15 | Paper |
Finite-valued logics for information processing
Fundamenta Informaticae | 2012-05-04 | Paper |
Canonical signed calculi with multi-ary quantifiers
Annals of Pure and Applied Logic | 2012-04-10 | Paper |
| scientific article; zbMATH DE number 5997431 (Why is no real title available?) | 2012-01-13 | Paper |
Ideal paraconsistent logics
Studia Logica | 2011-11-23 | Paper |
A simple proof of completeness and cut-admissibility for propositional Gödel logic
Journal Of Logic And Computation | 2011-11-10 | Paper |
Kripke Semantics for Basic Sequent Systems
Lecture Notes in Computer Science | 2011-07-01 | Paper |
| Logical non-determinism as a tool for logical modularity: an introduction | 2011-06-21 | Paper |
A multiple-conclusion calculus for first-order Gödel logic
Computer Science – Theory and Applications | 2011-06-17 | Paper |
| scientific article; zbMATH DE number 5872190 (Why is no real title available?) | 2011-03-30 | Paper |
Maximal and premaximal paraconsistency in the framework of three-valued semantics
Studia Logica | 2011-03-14 | Paper |
| A new approach to predicative set theory | 2011-03-09 | Paper |
On constructive connectives and systems
Logical Methods in Computer Science | 2011-03-08 | Paper |
Strict canonical constructive systems
Fields of Logic and Computation | 2010-09-03 | Paper |
Tableaux with four signs as a unified framework
Lecture Notes in Computer Science | 2010-03-09 | Paper |
Canonical constructive systems
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Multi-valued semantics: why and how
Studia Logica | 2009-11-16 | Paper |
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
Computer Science - Theory and Applications | 2009-08-18 | Paper |
Proof systems for reasoning about computation errors
Studia Logica | 2009-05-08 | Paper |
Rough sets and 3-valued logics
Studia Logica | 2009-03-17 | Paper |
Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
Automated Reasoning | 2009-03-12 | Paper |
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
Logical Foundations of Computer Science | 2009-02-24 | Paper |
Processing Information from a Set of Sources
Towards Mathematical Philosophy | 2009-02-05 | Paper |
Canonical calculi with (n,k)-ary quantifiers
Logical Methods in Computer Science | 2008-11-13 | Paper |
| scientific article; zbMATH DE number 5316608 (Why is no real title available?) | 2008-08-26 | Paper |
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
Computer Science – Theory and Applications | 2008-06-05 | Paper |
Constructibility and decidability versus domain independence and absoluteness
Theoretical Computer Science | 2008-04-16 | Paper |
Boris A. Trakhtenbrot: Academic Genealogy and Publications
Pillars of Computer Science | 2008-03-25 | Paper |
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
Pillars of Computer Science | 2008-03-25 | Paper |
| scientific article; zbMATH DE number 5244180 (Why is no real title available?) | 2008-03-06 | Paper |
Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers
Logical Foundations of Computer Science | 2008-01-04 | Paper |
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
Lecture Notes in Computer Science | 2007-11-15 | Paper |
Non-deterministic semantics for logics with a consistency operator
International Journal of Approximate Reasoning | 2007-07-19 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
Logica Universalis | 2007-04-10 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Cut-elimination and quantification in canonical systems
Studia Logica | 2006-03-17 | Paper |
A non-deterministic view on non-classical negations
Studia Logica | 2006-01-30 | Paper |
| Safety signature for first-order languages and their applications | 2006-01-24 | Paper |
Multi-valued Calculi for Logics Based on Non-determinism
Logic Journal of the IGPL | 2005-11-08 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2005-08-26 | Paper |
| scientific article; zbMATH DE number 2196614 (Why is no real title available?) | 2005-08-22 | Paper |
Non-deterministic Multiple-valued Structures
Journal Of Logic And Computation | 2005-07-13 | Paper |
Combining classical logic, paraconsistency and relevance
Journal of Applied Logic | 2005-05-04 | Paper |
| scientific article; zbMATH DE number 2042613 (Why is no real title available?) | 2004-02-15 | Paper |
| scientific article; zbMATH DE number 1735917 (Why is no real title available?) | 2002-10-08 | Paper |
| scientific article; zbMATH DE number 1765698 (Why is no real title available?) | 2002-07-10 | Paper |
Decomposition proof systems for Gödel-Dummett logics
Studia Logica | 2002-06-17 | Paper |
General patterns for nonmonotonic reasoning: from basic entailments to plausible relations
Logic Journal of the IGPL | 2001-07-24 | Paper |
| scientific article; zbMATH DE number 1612545 (Why is no real title available?) | 2001-07-01 | Paper |
| Negation: Two points of view | 2001-06-20 | Paper |
Encoding modal logics in logical frameworks
Studia Logica | 2001-02-14 | Paper |
Implicational F-structures and implicational relevance logics
Journal of Symbolic Logic | 2001-01-14 | Paper |
On the expressive power of three-valued and four-valued languages
Journal Of Logic And Computation | 2000-07-31 | Paper |
| scientific article; zbMATH DE number 1392280 (Why is no real title available?) | 2000-01-24 | Paper |
| scientific article; zbMATH DE number 1341457 (Why is no real title available?) | 1999-09-22 | Paper |
Multiplicative conjunction and an algebraic meaning of contraction and weakening
Journal of Symbolic Logic | 1999-07-15 | Paper |
A model-theoretic approach for recovering consistent data from inconsistent knowledge bases
Journal of Automated Reasoning | 1999-04-26 | Paper |
The value of the four values
Artificial Intelligence | 1999-01-12 | Paper |
Two types of multiple-conclusion systems
Logic Journal of the IGPL | 1998-12-02 | Paper |
Formulas for which contraction is admissible
Logic Journal of the IGPL | 1998-07-20 | Paper |
Multiplicative Conjunction as an Extensional Conjunction
Logic Journal of the IGPL | 1997-06-02 | Paper |
Hypersequents, logical consequence and intermediate logics for concurrency
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
| scientific article; zbMATH DE number 956466 (Why is no real title available?) | 1997-05-12 | Paper |
An exercise in an interactive geometrical research
Annals of Mathematics and Artificial Intelligence | 1997-05-11 | Paper |
The structure of interlaced bilattices
Mathematical Structures in Computer Science | 1996-11-18 | Paper |
Reasoning with logical bilattices
Journal of Logic, Language and Information | 1996-07-28 | Paper |
A note on the structure of bilattices
Mathematical Structures in Computer Science | 1996-05-02 | Paper |
| scientific article; zbMATH DE number 753775 (Why is no real title available?) | 1995-11-09 | Paper |
Stability, sequentiality and demand driven evaluation in dataflow
Formal Aspects of Computing | 1995-04-06 | Paper |
Some Properties of Linear Logic Proved by Semantic Methods
Journal Of Logic And Computation | 1995-02-13 | Paper |
Gentzen-type systems, resolution and tableaux
Journal of Automated Reasoning | 1994-06-05 | Paper |
Using typed lambda calculus to implement formal systems on a machine
Journal of Automated Reasoning | 1993-12-20 | Paper |
Whither relevance logic?
Journal of Philosophical Logic | 1993-01-16 | Paper |
Axiomatic System, Deduction and Implication
Journal Of Logic And Computation | 1992-09-27 | Paper |
A note of provability, truth and existence
Journal of Philosophical Logic | 1992-06-27 | Paper |
Natural 3-valued logics—characterization and proof theory
Journal of Symbolic Logic | 1992-06-26 | Paper |
Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems
Notre Dame Journal of Formal Logic | 1991-01-01 | Paper |
Simple consequence relations
Information and Computation | 1991-01-01 | Paper |
Gentzenizing Schroeder-Heister's natural extension of natural deduction
Notre Dame Journal of Formal Logic | 1990-01-01 | Paper |
On strict strong constructibility with a compass alone
Journal of Geometry | 1990-01-01 | Paper |
Relevance and paraconsistency - a new approach. II: The formal systems
Notre Dame Journal of Formal Logic | 1990-01-01 | Paper |
Relevance and paraconsistency—a new approach
Journal of Symbolic Logic | 1990-01-01 | Paper |
The semantics and proof theory of linear logic
Theoretical Computer Science | 1988-01-01 | Paper |
A constructive analysis of RM
Journal of Symbolic Logic | 1987-01-01 | Paper |
Theorems on strong constructibility with a compass alone
Journal of Geometry | 1987-01-01 | Paper |
On an implication connective of RM
Notre Dame Journal of Formal Logic | 1986-01-01 | Paper |
On purely relevant logics
Notre Dame Journal of Formal Logic | 1986-01-01 | Paper |
Relevant entailment—semantics and formal systems
Journal of Symbolic Logic | 1984-01-01 | Paper |
On modal systems having arithmetical interpretations
Journal of Symbolic Logic | 1984-01-01 | Paper |
