Results 71 to 80 of about 705,934 (125)

The unification type of Łukasiewicz logic with a bounded number of variables [PDF]

Building on the correspondence between finitely axiomatised theories in Łukasiewicz logic and rational polyhedra, we prove that the unification type of the fragment of Łukasiewicz logic with n ≥ 2 variables is nullary.
Abbadini, Marco, Spada, Luca
core   +1 more source

An Empirical Comparison of Semantics for Quantified Vague Sentences

Problemos
We investigate the compositional semantics of vague quantified sentences, focusing on sentences such as “All of the students are tall,” where a non-vague quantifier quantifies into a vague predicate. While much work has been done on vagueness in natural
Alexandre Cremers, Julija Kalvelyte
doaj   +3 more sources

On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics [PDF]

, 2010
In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core   +2 more sources

Modal Logic, Probability and Machine Learning Systems for Metadata Extraction

Ratio Mathematica
Artificial intelligence, since its inception, has had two major subfields, namely: logical reasoning and machine learning. Despite this, the interactions between these two fields have been relatively limited.
Simone Cuconato
doaj   +1 more source

Unpacking “Social Vulnerability” and “Equity”: Critical Insights From Stormwater Climate Adaptation Research in the US Gulf Coast

Community Science, Volume 3, Issue 4, December 2024.
Abstract This paper assesses how the concepts of social vulnerability and equity are discursively constructed in co‐production research settings with a co‐created decision support tool. The data was collected during workshops (32 communities represented) and interviews (24 communities represented) with stormwater managers and stakeholders (SMS) working
S. J. Domingue, E. Goto, L. Maillard, T. Harrison, A. Basaraba   +4 more
wiley   +1 more source

Considerações historiográficas acerca da lógica dos estoicos

Princípios, 2011
This study aims to examine some questions related to how the historiography evaluated the contribution offered by logical Stoic philosophers. It is, above all, two open positions in opposition: an initial analysis is essentially negative and derogatory ...
Paulo Eduardo de Oliveira, Cleverson Leite Bastos   +1 more
doaj  

Rethinking plasticity: Analysing the concept of “destructive plasticity” in the light of neuroscience definitions

European Journal of Neuroscience, Volume 60, Issue 5, Page 4798-4812, September 2024.
Neuroplasticity is a key concept with various definitions and applications. It shows both beneficial and detrimental outcomes depending on the context. Various scientific frameworks have been proposed to understand the beneficial and pathological outcomes of plastic mechanisms.
Mostafa Seblani, Jean‐Michel Brezun, François Féron, Thierry Hoquet   +3 more
wiley   +1 more source

On critique of determinism and multi-quality of Jan Łukasiewicz

, 2011
The article focuses on Jan Łukasiewicz’s thesis that the truth or falsity of some propositions about the future – future contingents – entails determinism.
Łukasiewicz, Dariusz
core  

A completeness theorem for a functionally complete Łukasiewicz logic

Radzki has recently claimed the incompleteness of the axioms given by Słupecki for the functionally complete Ł3: some of its tautologies are not provable.
Aranda Utrero, Víctor
core   +1 more source

A Basic Łukasiewicz m-valued conditional logic [PDF]

This paper is devoted to the construction of conditional logic system of Łukasiewicz m-valued propositional logic. We construct conditional logic system ŁCR based on Łukasiewicz m-valued propositional logic. We construct world semantics for the system by
Huo, Shuquan
core   +1 more source