Results 31 to 40 of about 771,186 (237)
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
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
, 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
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
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Studia Logica: An International Journal for Symbolic Logic, 2020 This paper proposes a generalization of the Kripke semantics of intuitionistic logic IL appropriate for intuitionistic Łukasiewicz logicIŁL —a logic in the intersection between IL and (classical) Łukasiewicz logic.
A. Lewis-Smith, Paulo Oliva, E. Robinson
semanticscholar +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
Tableaux for Maximum Satisfiability in Łukasiewicz Logic
IEEE International Symposium on Multiple-Valued Logic, 2020 We define a tableau calculus for solving the MaxSAT problem of 3-valued Łukasiewicz logic, and prove its soundness and completeness. The calculus can be naturally extended to other finitely-valued logics.
Chu Min Li, F. Manyà, Amanda Vidal
semanticscholar +1 more source
Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
Fuzzy Sets Syst., 2017 Joan Gispert
semanticscholar +3 more sources
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
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