Results 11 to 20 of about 10,008 (302)
Epistemic Logics for Relevant Reasoners [PDF]
Journal of Philosophical LogicAbstractWe present a neighbourhood-style semantic framework for modal epistemic logic modelling agents who process information using relevant logic. The distinguishing feature of the framework in comparison to relevant modal logic is that the environment the agent is situated in is assumed to be a classical possible world.
Sedlár, Igor, Vigiani, Pietro
openaire +4 more sources
Vértices, 2010 This study presents the fundamentals of a specialist system applied to the selection of real estate developments using as methodology the extraction of knowledge from specialists and a databank.
Assed Naked Haddad +4 more
doaj +1 more source
The Complexity of Enriched Mu-Calculi [PDF]
Logical Methods in Computer Science, 2008 The fully enriched μ-calculus is the extension of the propositional μ-calculus with inverse programs, graded modalities, and nominals. While satisfiability in several expressive fragments of the fully enriched μ-calculus is known to be decidable
Piero A. Bonatti +3 more
doaj +1 more source
Bifurcation of Corporate Management: Traditional and Innovation Logics
Вестник Российского экономического университета имени Г. В. Плеханова, 2021 In conditions of the global management crisis caused by COVID-19 the issues dealing with management efficiency become especially topical. Integrated corporate structures embracing big banks and corporations make the basis both for economic and political ...
X. V. Sadykova
doaj +1 more source
Ancestor Worship in The Logic of Games. How foundational were Aristotle's contributions?
The Baltic International Yearbook of Cognition, Logic and Communication, 2013 Notwithstanding their technical virtuosity and growing presence in mainstream thinking, game theoretic logics have attracted a sceptical question: "Granted that logic can be done game theoretically, but what would justify the idea that this is the ...
John Woods
doaj +1 more source
Inferentialism and Relevance: The case of Connexivity
Análisis Filosófico, 2021 This paper provides an inferentialist motivation for a logic belonging in the connexive family, by borrowing elements from the bilateralist interpretation for Classical Logic without the Cut rule, proposed by David Ripley.
Damián Szmuc
doaj +1 more source
Quantified Modal Relevant Logics
, 2020 Applications of formal logic often require the language of the logics to be sufficiently expressive, capturing notions such as necessity, possibility, subject-predicate sentences, quantified sentences, and identity.
Ferenz, Nicholas
core +1 more source
El silogismo poético y la imaginación en Alfarabi
Tópicos, 2013 The author explains the poetic syllogism and its relation with the imagination. He shows how Alfarabi thinks that to use this kind of syllogism is relevant in any kind of discourse and specially in the philosophycal.
Luis Xavier López Farjeat
doaj +1 more source
On Pretabular Extensions of Relevance Logic
Studia Logica, 2023 AbstractWe exhibit infinitely many semisimple varieties of semilinear De Morgan monoids (and likewise relevant algebras) that are not tabular, but which have only tabular proper subvarieties. Thus, the extension of relevance logic by the axiom $$(p\rightarrow q)\vee (q\rightarrow p)$$ ( p
Asadollah Fallahi +1 more
openaire +2 more sources
Structural Completeness in Relevance Logics [PDF]
Studia Logica, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Raftery, James G., Swirydowicz, K.
openaire +2 more sources