Results 161 to 170 of about 3,083 (212)
A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic
, 2018 Rob Arthan, Paulo Oliva
openalex +2 more sources
A fuzzy description logic based IoT framework: Formal verification and end user programming. [PDF]
PLoS OnePérez-Gaspar M +3 more
europepmc +1 more source
Structurally complete finitary extensions of positive Łukasiewicz logic [PDF]
Paolo Aglianò, Francesco Manfucci
openalex +1 more source
Sequent and hypersequent calculi for abelian and łukasiewicz logics
, 2005 George Metcalfe +2 more
openalex +1 more source
Self-Organized Anodic Oxides on Titanium Alloys Prepared from Glycol- and Glycerol-Based Electrolytes. [PDF]
Materials (Basel), 2020 Michalska-Domańska M +4 more
europepmc +1 more source
An asymptotically tight bound on countermodels for Łukasiewicz logic
, 2006 Stefano Aguzzoli
openalex +1 more source