Results 21 to 30 of about 3,083 (212)
Jan Łukasiewicz contre le dictum de omni et de nullo
Philosophia Scientiæ, 2011 This paper explores the reasons why Łukasiewicz in his explanation of Aristotelian syllogistic does not accept the dictum de omni et de nullo as an axiom.
Michel Bastit
doaj +1 more source
, 2013 We consider state-based systems modelled as coalgebras whose type incorporates branching, and show that by suitably adapting the definition of coalgebraic bisimulation, one obtains a general and uniform account of the linear-time behaviour of a state in ...
Mio, Matteo, Simpson, Alexander
core +7 more sources
Reconstruction of the Stagirite argument against the fatalism of future events
Мультиверсум: Философский альманах, 2020 The question of free will and determinism is one of the most discussed in analytic philosophy. This is because interdisciplinary research has entered the field of studying the brain and consciousness – and often, consciousness is presented as an ...
Ruslan Myronenko
doaj +1 more source
Free monadic Tarski and MMI3-algebras [PDF]
, 2014 MMI3-algebras are a generalization of the monadic Tarski algebras as defined by A. Monteiro and L. Iturrioz, and a particular case of the MMIn+1-algebras defined by A. Figallo.
Entizne, Rosana V. +3 more
core +1 more source
Abstract objects: Species, Kinds, Concepts [PDF]
, 2016 In the paper I present Kotarbiński’s approach to abstract objects and show some mistakes in his investigations. By formal ontology I try to explain Kotarbiński’s view and proffer a new solution, a formal solution that is – I hope – in the spirit of Lvov ...
Kaczmarek, Janusz
core +1 more source
On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency [PDF]
, 2016 In this paper, two axiomatic theories T− and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus.
Wybraniec-Skardowska, Urszula
core +2 more sources
Statistical relational learning with soft quantifiers [PDF]
, 2016 Quantification in statistical relational learning (SRL) is either existential or universal, however humans might be more inclined to express knowledge using soft quantifiers, such as ``most'' and ``a few''.
B Huang +16 more
core +2 more sources
Journal of Intelligent Systems, 2016 The aim of this article is to develop a representation theory of interval-valued Łukasiewicz–Moisil algebras; the concept of interval fuzzy sets involves the role that the notion of field of sets plays for the representation of Boolean algebras.
Amroune Abdelaziz +2 more
doaj +1 more source
Introduction. The School: Its Genesis, Development and Significance [PDF]
, 2018 The Introduction outlines, in a concise way, the history of the Lvov-Warsaw School – a most unique Polish school of worldwide renown, which pioneered trends combining philosophy, logic, mathematics and language.
Wybraniec-Skardowska, U.
core +2 more sources
Propositional dynamic logic for searching games with errors [PDF]
, 2014 We investigate some finitely-valued generalizations of propositional dynamic logic with tests. We start by introducing the (n+1)-valued Kripke models and a corresponding language based on a modal extension of {\L}ukasiewicz many-valued logic.
Teheux, Bruno
core +2 more sources