Buscar
Mostrando ítems 1-10 de 1098
On The Set Of Intermediate Logics Between The Truth- And Degree-preserving Aukasiewicz Logics
(OXFORD UNIV PRESSOXFORD, 2016)
On The Set Of Intermediate Logics Between The Truth- And Degree-preserving Aukasiewicz Logics
(Oxford Univ PressOxford, 2016)
Approximations of modal logics: K and beyond
(ELSEVIER SCIENCE BV, 2008)
Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is ...
A Fuzzy Logic Approach To Modelling The Passengers’ Flow And Dwelling Time
(2012-07-04)
The passengers’ flow and station dwell time estimation are important tasks for mass transit planning. However, classical methods are difficult to apply into some practical achievements. This paper presents a new approach ...
Neural Scoring of Logical Inferences from Data using Feedback
Insights derived from wearable sensors in smartwatches or sleep trackers can help users in approaching their healthy lifestyle goals. These insights should indicate significant inferences from user behaviour and their ...
Topics in logical anti-exceptionalism and paraconsistent logics
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA, 2021-05-03)
The rivalry between classical logic and its non-classical contenders occupies
the centre stage in contemporary philosophical logic. The central issue is to know
how to choose a logical system (or theory thereof) among the ...
A Fuzzy Logic Inference Approach for the Estimation of the Passengers Flow Demand
(2016-07-02)
This paper presents a new approach that designs the flow of passengers in mass transportation systems in presence of uncertainties. One of the techniques used for the prediction of passenger demand is the origin- destination ...
A family of metainferential logics
(Taylor & Francis, 2019-01)
We will present 12 different mixed metainferential consequence relations. Each one of them is specified using two different inferential Tarskian or non-Tarskian consequence relations: K3, LP, ST or TS+. We will show that ...