# | Title | Journal | Year | Citations |
---|
1 | Metamathematics of Fuzzy Logic | Trends in Logic | 1998 | 2,247 |
2 | Triangular Norms | Trends in Logic | 2000 | 1,849 |
3 | Algebraic Foundations of Many-Valued Reasoning | Trends in Logic | 2000 | 700 |
4 | Probabilistic Logic in a Coherent Setting | Trends in Logic | 2002 | 176 |
5 | Protoalgebraic Logics | Trends in Logic | 2001 | 168 |
6 | Reasoning in Quantum Theory | Trends in Logic | 2004 | 160 |
7 | Substructural Logics: A Primer | Trends in Logic | 2002 | 111 |
8 | The Is-Ought Problem | Trends in Logic | 1997 | 89 |
9 | Displaying Modal Logic | Trends in Logic | 1998 | 87 |
10 | Types, Tableaus, and Gödel’s God | Trends in Logic | 2002 | 79 |
11 | Basic notions | Trends in Logic | 2000 | 69 |
12 | Substructural Logics and Residuated Lattices — an Introduction | Trends in Logic | 2003 | 53 |
13 | Topological and Algebraic Structures in Fuzzy Sets | Trends in Logic | 2003 | 48 |
14 | Situations, Truth and Knowability: A Situation-Theoretic Analysis of A Paradox By Fitch | Trends in Logic | 1997 | 41 |
15 | Heyting Algebras | Trends in Logic | 2019 | 35 |
16 | Two Traditions in the Logic of Belief: Bringing them Together | Trends in Logic | 1999 | 33 |
17 | Sheaves, Games, and Model Completions | Trends in Logic | 2002 | 32 |
18 | Inconsistent Arithmetics: Issues Technical and Philosophical | Trends in Logic | 2003 | 29 |
19 | Logics and Falsifications | Trends in Logic | 2014 | 25 |
20 | Inconsistency-tolerant Description Logic: Motivation and Basic Systems | Trends in Logic | 2003 | 25 |
21 | From Paraconsistent Logic to Dialetheic Logic | Trends in Logic | 2016 | 24 |
22 | Dual Tableaux: Foundations, Methodology, Case Studies | Trends in Logic | 2011 | 24 |
23 | A Unified Approach To The Concept Of Fuzzy L-Uniform Space | Trends in Logic | 2003 | 23 |
24 | Uniform Completion In Pointfree Topology | Trends in Logic | 2003 | 22 |
25 | A Substructural Logic for Inconsistent Mathematics | Trends in Logic | 2019 | 22 |
26 | Meaning and Proscription in Formal Logic | Trends in Logic | 2017 | 21 |
27 | Adaptive Logics for Defeasible Reasoning | Trends in Logic | 2014 | 21 |
28 | Open Problems in Proof-Theoretic Semantics | Trends in Logic | 2016 | 19 |
29 | On Action and Agency | Trends in Logic | 1997 | 18 |
30 | Structure Of Girard Monoids On [0,1] | Trends in Logic | 2003 | 18 |
31 | What is a Paraconsistent Logic? | Trends in Logic | 2018 | 17 |
32 | World Travelling and Mood Swings | Trends in Logic | 2003 | 17 |
33 | Advances in Proof-Theoretic Semantics | Trends in Logic | 2016 | 15 |
34 | Powerset Operators Based Approach To Fuzzy Topologies On Fuzzy Sets | Trends in Logic | 2003 | 15 |
35 | An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited | Trends in Logic | 2014 | 13 |
36 | da Costa Meets Belnap and Nelson | Trends in Logic | 2014 | 13 |
37 | Categorical Harmony and Paradoxes in Proof-Theoretic Semantics | Trends in Logic | 2016 | 13 |
38 | Elimination of Predicate Quantifiers | Trends in Logic | 1999 | 12 |
39 | Lattice-Valued Frames, Functor Categories, And Classes Of Sober Spaces | Trends in Logic | 2003 | 12 |
40 | Discrete Triangular Norms | Trends in Logic | 2003 | 11 |
41 | Axiomatic Foundations For Uniform Operator Quasi-Uniformities | Trends in Logic | 2003 | 11 |
42 | Type Logics in Grammar | Trends in Logic | 2003 | 11 |
43 | Unsharp quantum logics | Trends in Logic | 2004 | 11 |
44 | On the Methodology of Paraconsistent Logic | Trends in Logic | 2016 | 10 |
45 | Toward Predicate Approaches to Modality | Trends in Logic | 2016 | 10 |
46 | Completeness in Proof-Theoretic Semantics | Trends in Logic | 2016 | 10 |
47 | Relating Semantics as Fine-Grained Semantics for Intensional Logics | Trends in Logic | 2021 | 9 |
48 | Quantum Computation and Logic | Trends in Logic | 2018 | 8 |
49 | Priest’s Motorbike and Tolerant Identity | Trends in Logic | 2014 | 8 |
50 | Some Remarks on Proof-Theoretic Semantics | Trends in Logic | 2016 | 8 |