Fetching the paper…
Reading the bibliography…
Real-valued logics underlie an increasing number of neuro-symbolic approaches, though typically their logical inference capabilities are characterized only qualitatively.
\JournalTitle
JB Rosser, Axiomatization of infinite valued logics · 1960
Earlier work this paper cites.
\JournalTitle
L Belluce, Further results on infinite valued predicate logic · 1964
Earlier work this paper cites.
(McGraw-Hill), (1969)
N Rescher, Many-valued logic · 1969
Earlier work this paper cites.
\JournalTitle
LA Zadeh, Fuzzy logic and approximate reasoning · 1975
Earlier work this paper cites.
\JournalTitle
J Pavelka, On fuzzy logic i, ii, iii · 1979
Earlier work this paper cites.
\JournalTitle
V Novák, On the syntactico-semantical completeness of first-order fuzzy logic part I (syntax and semantic), part II (main results) · 1990
Earlier work this paper cites.
(CRC Press), (1993)
G Epstein, Multiple-valued logic design: an introduction · 1993
Earlier work this paper cites.
\JournalTitle
G Beavers, Automated theorem proving for łukasiewicz logics · 1993
Cited alongside, same era.
\JournalTitle
D Mundici, A constructive proof of McNaughton’s theorem in infinite-valued logic · 1994
Cited alongside, same era.
\JournalTitle
R Hähnle, Many-valued logic and mixed integer programming · 1994
Cited alongside, same era.
(Springer Science & Business Media) Vol. 4, (1998)
P Hájek, Metamathematics of fuzzy logic · 1998
Cited alongside, same era.
\JournalTitle
R Fagin, A Lotem, M Naor, Optimal aggregation algorithms for middleware · 2003
Cited alongside, same era.
\JournalTitle
JM Font, ÀJ Gil, A Torrens, V Verdu, On the infinite-valued łukasiewicz logic that preserves degrees of truth · 2006
Cited alongside, same era.
\JournalTitle
V Novák, A formal theory of intermediate quantifiers · 2008
\JournalTitle
F Esteva, L God, C Noguerra, First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties · 2009
Later among the works it cites.
\JournalTitle
V Novák, Fuzzy logic with extended syntax · 2015
Later among the works it cites.
L Serafini, Ad Garcez, Logic tensor networks: Deep learning and logical reasoning from data and knowledge · 2016
Later among the works it cites.
\JournalTitle
SH Bach, M Broecheler, B Huang, L Getoor, Hinge-loss Markov random fields and probabilistic soft logic · 2017
Later among the works it cites.
\JournalTitle
W Cohen, F Yang, KR Mazaitis, TensorLog: A probabilistic database implemented using deep-learning infrastructure · 2020
Closest in time.
R Riegel, et al., Logical neural networks · 2020
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
(Walton and Maberly) Vol. 2, (1854)
G Boole, An investigation of the laws of thought: on which are founded the mathematical theories of logic and probabilities
Cited in the paper.
Closest in time.