Ghent University Academic Bibliography

Your filters: cql: keyword exact "logic"

Add to list
- Journal Article
- A1
- open access
A duty-cycle switching 30-Gb/s burst-mode CDR with 1.6-ns locking time in 28-nm CMOS

Xin Wang (UGent) , Achim Vandierendonck (UGent) , Bruno Govaerts (UGent) , Tinus Pannier (UGent) , Warre Geeroms (UGent) , Caro Meysmans (UGent) , Johan Bauwelinck (UGent) and Guy Torfs (UGent)

(2026) IEEE JOURNAL OF SOLID-STATE CIRCUITS. 61(1). p.318-330
Add to list
- Journal Article
- A1
- open access
An overview of fuzzy implication and its generalizations

Muhammad Gulzar, Samina Ashraf and Etienne Kerre (UGent)

(2026) MATHEMATICS. 12(2).
Add to list
- Journal Article
- A1
- open access
Industry-compatible silicon spin-qubit unit cells exceeding 99% fidelity

Paul Steinacker, Nard Dumoulin Stuyck, Wee Han Lim, Tuomo Tanttu, MengKe Feng, Santiago Serrano, Andreas Nickl, Marco Candido, Jesus D. Cifuentes, Ensar Vahapoglu, et al.

(2025) NATURE. 646. p.81-87
Add to list
- Journal Article
- A1
Is automated discovery expanding human understanding? On the role of machine learning in the increase of scientific understanding

Kristian Gonzalez Barman (UGent)

(2025) JOURNAL FOR GENERAL PHILOSOPHY OF SCIENCE. 56(4). p.533-550
Add to list
- Journal Article
- A1
- open access
Luxury in the circular economy : an engagement journey perspective

Jonas Holmqvist, Charlène Berger, Arne De Keyser and Katrien Verleye (UGent)

(2025) JOURNAL OF CONSUMER BEHAVIOUR. 24(3). p.1486-1497
Add to list
- Journal Article
- A1
- open access
Multi-class granular approximation by means of disjoint and adjacent fuzzy granules

Marko Palangetić (UGent) , Chris Cornelis (UGent) , Salvatore Greco and Roman Słowiński

(2024) FUZZY SETS AND SYSTEMS. 478.
Add to list
- Journal Article
- A1
- open access
Engineering is evolution : a perspective on design processes to engineer biology

Simeon D. Castle, Michiel Stock (UGent) and Thomas E. Gorochowski

(2024) NATURE COMMUNICATIONS. 15(1).
Add to list
- Journal Article
- A1
- open access
There are no minimal essentially undecidable theories

Juvenal Murwanashyaka, Fedor Pakhomov (UGent) and Albert Visser

(2024) JOURNAL OF LOGIC AND COMPUTATION. 34(6). p.1159-1171
Add to list
- Conference Paper
- P1
Learning temporal task specifications from demonstrations

Mattijs Baert (UGent) , Sam Leroux (UGent) and Pieter Simoens (UGent)

(2024) EXPLAINABLE AND TRANSPARENT AI AND MULTI-AGENT SYSTEMS, EXTRAAMAS 2024. In Lecture Notes in Computer Science 14847. p.81-98
Add to list
- Journal Article
- A2
- open access
Hybrid Hamiltonian simulation approach for the analysis of quantum error correction protocol robustness

Benjamin Gys, Lander Burgelman (UGent) , Kristiaan De Greve, Georges Gielen and Francky Catthoor

(2024) IEEE TRANSACTIONS ON QUANTUM ENGINEERING. 5.
Add to list
- Journal Article
- A1
- open access
Comparative analysis of approaches for automated compliance checking of construction data

Emma Nuyts (UGent) , Mathias Bonduel and Ruben Verstraeten (UGent)

(2024) ADVANCED ENGINEERING INFORMATICS. 60.
Add to list
- Journal Article
- A1
- open access
A parametric family of fuzzy similarity measures for intuitionistic fuzzy sets

Madiha Qayyum, Etienne Kerre (UGent) and Samina Ashraf

(2023) MATHEMATICS. 11(14).
Add to list
- Conference Paper
- C3
Biophilosophy’s big idea

Kobe Keymeulen (UGent)

(2023) SEP conference 2023, Abstracts.
Add to list
- Journal Article
- A2
- open access
Powerful owners and powerful legacies : what drives change in the World Rally Championship?

Samuel Tickell, Hans Erik Naess and Tom Evens (UGent)

(2023) JOURNAL OF GLOBAL SPORT MANAGEMENT. 8(4). p.943-964
Add to list
- Miscellaneous
- open access
Reducing omega-model reflection to iterated syntactic reflection (vol 23, 2250001, 2021)

Fedor Pakhomov (UGent) and James Walsh

(2023) JOURNAL OF MATHEMATICAL LOGIC. 23(03).
Add to list
- Conference Paper
- C1
- open access
Discussing Nyāya in Brajbhāṣā : on six categories of reasoning in Brajvāsīdās’s Prabodhacandrodaya Nāṭaka

Rosina Pastore (UGent)

(2023) Puṣpikā : proceedings of the 12th International Indology Graduate Research Symposium (Vienna, 2021). In Puṣpikā. Tracing Ancient India Through Texts and Traditions: Contributions to Current Research in Indology 6. p.179-198
Add to list
- Book Chapter
- open access
The universal tangle for spatial reasoning

David Fernández-Duque (UGent) and Konstantinos Papafilippou (UGent)

(2023) Logics in artificial intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. In Lecture Notes in Computer Science (LNTCS) 14281. p.814-827
Add to list
- Journal Article
- A1
- open access
Kitainik axioms do not characterize the class of inclusion measures based on contrapositive fuzzy implications

Nicolás Madrid and Chris Cornelis (UGent)

(2023) FUZZY SETS AND SYSTEMS. 456. p.208-214
Add to list
- Journal Article
- A1
- open access
Fuzzy relational Galois connections between fuzzy transitive digraphs

I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, M. Ojeda-Aciego and Bernard De Baets (UGent)

(2023) FUZZY SETS AND SYSTEMS. 463.
Add to list
- Journal Article
- A1
- open access
Triangular norms on bounded trellises

Lemnaouar Zedam (UGent) and Bernard De Baets (UGent)

(2023) FUZZY SETS AND SYSTEMS. 462.
Add to list
- Journal Article
- A1
- open access
The Löwenheim-Skolem theorem for Gödel logic

J. P. Aguilera (UGent)

(2023) ANNALS OF PURE AND APPLIED LOGIC. 174(4).
Add to list
- Journal Article
- A1
- open access
Fuzzy structures induced by fuzzy betweenness relations

Yi Shi, Bin Pang and Bernard De Baets (UGent)

(2023) FUZZY SETS AND SYSTEMS. 466.
Add to list
- Book Chapter
Canguilhem’s divided subject : a Kantian perspective on the intertwinement of logic and life

Levi Haeck Gormez (UGent) and Gertrudis Van de Vijver (UGent)

(2023) Canguilhem and continental philosophy of biology. In History, Philosophy and Theory of the Life Sciences 31. p.123-146
Add to list
- Journal Article
- A1
Reducing ω-model reflection to iterated syntactic reflection

Fedor Pakhomov (UGent) and James Walsh

(2023) JOURNAL OF MATHEMATICAL LOGIC. 23(2).
Add to list
- Journal Article
- A1
- open access
A topological completeness theorem for transfinite provability logic

J. P. Aguilera (UGent)

(2023) ARCHIVE FOR MATHEMATICAL LOGIC. 62(5-6). p.751-788
Add to list
- Journal Article
- A1
- open access
Neighbourhood canonicity for EK, ECK, and relatives : a constructive proof

Frederik Van De Putte (UGent) and Paul McNamara

(2022) REVIEW OF SYMBOLIC LOGIC. 15(3). p.607-623
Add to list
- Journal Article
- A1
Nullnorms on bounded lattices constructed by means of closure and interior operators

Yexing Dan, Bao Qing Hu and Bernard De Baets (UGent)

(2022) FUZZY SETS AND SYSTEMS. 439. p.142-156
Add to list
- Journal Article
- A1
- open access
Bipolar equations on complete distributive symmetric residuated lattices : the case of a join-irreducible right-hand side

M. Eugenia Cornejo, David Lobo, Jesús Medina and Bernard De Baets (UGent)

(2022) FUZZY SETS AND SYSTEMS. 442. p.92-108
Add to list
- Journal Article
- A1
Lifting associative operations on subposets of a complete lattice

Yexing Dan and Bernard De Baets (UGent)

(2022) FUZZY SETS AND SYSTEMS. 441. p.286-309
Add to list
- Journal Article
- A1
- open access
Pooling modalities and pointwise intersection : semantics, expressivity, and dynamics

Frederik Van De Putte (UGent) and Dominik Klein

(2022) JOURNAL OF PHILOSOPHICAL LOGIC. 51(3). p.485-523
Add to list
- Journal Article
- A1
A representation of nullnorms on a bounded lattice in terms of beam operations

Hua-Peng Zhang, Zhudeng Wang, Yao Ouyang and Bernard De Baets (UGent)

(2022) FUZZY SETS AND SYSTEMS. 427. p.149-160
Add to list
- Journal Article
- A1
On triangular norms representable as ordinal sums based on interior operators on a bounded meet semilattice

Yao Ouyang, Hua-Peng Zhang, Zhudeng Wang and Bernard De Baets (UGent)

(2022) FUZZY SETS AND SYSTEMS. 439. p.89-101
Add to list
- Journal Article
- A1
A complete representation theorem for nullnorms on bounded lattices with ample illustrations

Hua-Peng Zhang, Yao Ouyang, Zhudeng Wang and Bernard De Baets (UGent)

(2022) FUZZY SETS AND SYSTEMS. 439. p.157-169
Add to list
- Journal Article
- A1
Maximal directions of monotonicity of an aggregation function

Bernard De Baets (UGent) and Hans De Meyer (UGent)

(2022) FUZZY SETS AND SYSTEMS. 433. p.54-78
Add to list
- Journal Article
- A1
The number of axioms

J. P. Aguilera (UGent) , M. Baaz and J. Bydžovský

(2022) ANNALS OF PURE AND APPLIED LOGIC. 173(5).
Add to list
- Conference Paper
- P1
- open access
Time and Godel : fuzzy temporal reasoning in PSPACE

J. P. Aguilera (UGent) , Martin Dieguez, David Fernández-Duque (UGent) and Brett McLean (UGent)

(2022) LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2022. In Lecture Notes in Computer Science 13468. p.18-35
Add to list
- Journal Article
- A1
- open access
Noetherian Gödel logics

J. P. Aguilera (UGent) , Jan Bydžovský and David Fernández-Duque (UGent)

(2022) JOURNAL OF LOGIC AND COMPUTATION. 32(8). p.1487-1503
Add to list
- Journal Article
- A1
- open access
Alleen de zin heeft zin : ‘Satz’, ‘Sinn’ en ‘Bedeutung’ in de nieuwe vertalingen van Wittgensteins Tractatus

Wim Vanrie (UGent)

(2022) TIJDSCHRIFT VOOR FILOSOFIE. 84(3). p.517-534
Add to list
- Journal Article
- A1
- open access
Deducibility and independence in Beklemishev's autonomous provability calculus

David Fernández-Duque (UGent) and Eduardo Hermo-Reyes

(2022) INFORMATION AND COMPUTATION. 287.
Add to list
- Journal Article
- A1
The Hukuhara difference, gH-difference and gH-division are not inclusion isotonic

T. M. Costa, W. A. Lodwick and Bernard De Baets (UGent)

(2022) FUZZY SETS AND SYSTEMS. 435. p.44-54
Add to list
- Journal Article
- A1
- open access
Arithmetical and hyperarithmetical worm battles

David Fernández-Duque (UGent) , Joost J Joosten, Fedor Pakhomov (UGent) , Konstantinos Papafilippou (UGent) and Andreas Weiermann (UGent)

(2022) JOURNAL OF LOGIC AND COMPUTATION. 32(8). p.1558-1584
Add to list
- Journal Article
- A2
- open access
Towards a logic of value and disagreement via imprecise measures

Federico Faroldi (UGent)

(2021) BULLETIN OF THE SECTION OF LOGIC. 50(2). p.131-149
Add to list
- Journal Article
- A1
Games and induction on reals

J. P. Aguilera (UGent) and P. D. Welch

(2021) JOURNAL OF SYMBOLIC LOGIC. 86(4). p.1676-1690
Add to list
- Journal Article
- A1
Feedback hyperjump

J. P. Aguilera (UGent) and Robert S. Lubarsky

(2021) JOURNAL OF LOGIC AND COMPUTATION. 31(1). p.20-39
Add to list
- Journal Article
- A1
Indexing possibilistic numerical data using Interval B+-trees

Robin De Mol, Carlos D. Barranco and Guy De Tré (UGent)

(2021) FUZZY SETS AND SYSTEMS. 413. p.138-154
Add to list
- Journal Article
- A1
- open access
Pooling modalities and pointwise intersection : axiomatization and decidability

Frederik Van De Putte (UGent) and Dominik Klein

(2021) STUDIA LOGICA. 109(1). p.47-93
Add to list
- Journal Article
- A1
Classical term-modal logics

Stef Frijters and Frederik Van De Putte (UGent)

(2021) JOURNAL OF LOGIC AND COMPUTATION. 31(4). p.1026-1054
Add to list
- Journal Article
- A1
- open access
REFLECTION RANKS AND ORDINAL ANALYSIS

Fedor Pakhomov (UGent) and James Walsh

(2021) JOURNAL OF SYMBOLIC LOGIC. 86(4). p.1350-1384
Add to list
- Journal Article
- A1
Forty years of fuzzy sets and systems : a bibliometric analysis

Sigifredo Laengle, Valeria Lobos, Jose M. Merigo, Enrique Herrera-Viedma, Manuel J. Cobo and Bernard De Baets (UGent)

(2021) FUZZY SETS AND SYSTEMS. 402. p.155-183
Add to list
- Journal Article
- A1
- open access
Neural probabilistic logic programming in DeepProbLog

Robin Manhaeve, Sebastijan Dumančić, Angelika Kimmig, Thomas Demeester (UGent) and Luc De Raedt

(2021) ARTIFICIAL INTELLIGENCE. 298.

A duty-cycle switching 30-Gb/s burst-mode CDR with 1.6-ns locking time in 28-nm CMOS

An overview of fuzzy implication and its generalizations

Industry-compatible silicon spin-qubit unit cells exceeding 99% fidelity

Is automated discovery expanding human understanding? On the role of machine learning in the increase of scientific understanding

Luxury in the circular economy : an engagement journey perspective

Multi-class granular approximation by means of disjoint and adjacent fuzzy granules

Engineering is evolution : a perspective on design processes to engineer biology

There are no minimal essentially undecidable theories

Learning temporal task specifications from demonstrations

Hybrid Hamiltonian simulation approach for the analysis of quantum error correction protocol robustness

Comparative analysis of approaches for automated compliance checking of construction data

A parametric family of fuzzy similarity measures for intuitionistic fuzzy sets

Biophilosophy’s big idea

Powerful owners and powerful legacies : what drives change in the World Rally Championship?

Reducing omega-model reflection to iterated syntactic reflection (vol 23, 2250001, 2021)

Discussing Nyāya in Brajbhāṣā : on six categories of reasoning in Brajvāsīdās’s Prabodhacandrodaya Nāṭaka

The universal tangle for spatial reasoning

Kitainik axioms do not characterize the class of inclusion measures based on contrapositive fuzzy implications

Fuzzy relational Galois connections between fuzzy transitive digraphs

Triangular norms on bounded trellises

The Löwenheim-Skolem theorem for Gödel logic

Fuzzy structures induced by fuzzy betweenness relations

Canguilhem’s divided subject : a Kantian perspective on the intertwinement of logic and life

Reducing ω-model reflection to iterated syntactic reflection

A topological completeness theorem for transfinite provability logic

Neighbourhood canonicity for EK, ECK, and relatives : a constructive proof

Nullnorms on bounded lattices constructed by means of closure and interior operators

Bipolar equations on complete distributive symmetric residuated lattices : the case of a join-irreducible right-hand side

Lifting associative operations on subposets of a complete lattice

Pooling modalities and pointwise intersection : semantics, expressivity, and dynamics

A representation of nullnorms on a bounded lattice in terms of beam operations

On triangular norms representable as ordinal sums based on interior operators on a bounded meet semilattice

A complete representation theorem for nullnorms on bounded lattices with ample illustrations

Maximal directions of monotonicity of an aggregation function

The number of axioms

Time and Godel : fuzzy temporal reasoning in PSPACE

Noetherian Gödel logics

Alleen de zin heeft zin : ‘Satz’, ‘Sinn’ en ‘Bedeutung’ in de nieuwe vertalingen van Wittgensteins Tractatus

Deducibility and independence in Beklemishev's autonomous provability calculus

The Hukuhara difference, gH-difference and gH-division are not inclusion isotonic

Arithmetical and hyperarithmetical worm battles

Towards a logic of value and disagreement via imprecise measures

Games and induction on reals

Feedback hyperjump

Indexing possibilistic numerical data using Interval B+-trees

Pooling modalities and pointwise intersection : axiomatization and decidability

Classical term-modal logics

REFLECTION RANKS AND ORDINAL ANALYSIS

Forty years of fuzzy sets and systems : a bibliometric analysis

Neural probabilistic logic programming in DeepProbLog