Results 31 to 40 of about 19,395 (238)
Wettability of the System of Cast Iron and Magnesia Ceramics with Graphite [PDF]
Archives of Foundry Engineering, 2022 In this paper examinations of high-temperature wetting tests of 3 systems of liquid alloy – cast iron in contact with ceramic materials: magnesia ceramics in combination with natural graphite were presented.
M. Hosadyna-Kondracka +5 more
doaj +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
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
Logical Ideas of Jan Łukasiewicz
Studia Humana, 2019 This paper discusses the main logical ideas put forward by Jan Łukasiewicz within their historical context and further development.
Woleński Jan
doaj +1 more source
Between Contingency and Necessity of Human Action. Are We Free in our Choices? [PDF]
, 2016 The point of departure of this paper is the characterization of human action as contingent or necessary (obligatory). The key question concerns the place for choice in the human action, i.e. are we free in our choices?
Żegleń, Urszula M.
core +1 more source
Maximality in finite-valued Łukasiewicz logics defined by order filters [PDF]
Journal of Logic and Computation, 2018 In this paper we consider the logics $L_n^i$ obtained from the (n+1)-valued Lukasiewicz logics $L_{n+1}$ by taking the order filter generated by i/n as the set of designated elements.
M. Coniglio +3 more
semanticscholar +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
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