Results 21 to 30 of about 46,941 (267)

Formalist Classification of Anti-war Stories in Children\'s Literature [PDF]

فصلنامه نقد ادبی, 2022
Anti-war literature is a subset of peace literature. Peace is portrayed in both negative and positive ways. Positive peace is defined on the basis of the concept of moral cosmopolitanism, while negative peace is in contrast to the concept of war ...
Amir Hossein Zanjanbar
doaj  

On formal concepts of random formal contexts [PDF]

Information Sciences, 2021
In formal concept analysis, it is well-known that the number of formal concepts can be exponential in the worst case. To analyze the average case, we introduce a probabilistic model for random formal contexts and prove that the average number of formal concepts has a superpolynomial asymptotic lower bound.
openaire   +3 more sources

Sull'utilità e il danno della ricerca delle fonti. Il caso del «Decameron»

Carte Romanze, 2019
Il contributo si sofferma sulla questione delle fonti del Decameron, e soprattutto sui rischi connessi con un approccio puramente formalistico al problema, dietro il quale si cela l’idea del libro boccacciano come di un’opera composta con finalità in ...
Francesco Bausi
doaj   +1 more source

The Digital Humanities in the Czech Republic

Славянский мир в третьем тысячелетии, 2021
This paper is devoted to the issue of Digital Humanities (DH) in Czech literary studies. Over the last decade, various methods primarily connected with DH have had a substantial impact on the development of numerous areas of the humanities.
Richard Změlík
doaj   +1 more source

Formalization of Quasilattices

Formalized Mathematics, 2020
Summary The main aim of this article is to introduce formally one of the generalizations of lattices, namely quasilattices, which can be obtained from the axiomatization of the former class by certain weakening of ordinary absorption laws.
Kulesza, Dominik, Grabowski, Adam
openaire   +3 more sources

Formal Languages, Formally and Coinductively

Logical Methods in Computer Science, 2017
Traditionally, formal languages are defined as sets of words. More recently, the alternative coalgebraic or coinductive representation as infinite tries, i.e., prefix trees branching over the alphabet, has been used to obtain compact and elegant proofs of classic results in language theory.
openaire   +6 more sources

INFORMAL PROOF, FORMAL PROOF, FORMALISM [PDF]

The Review of Symbolic Logic, 2015
AbstractIncreases in the use of automated theorem-provers have renewed focus on the relationship between the informal proofs normally found in mathematical research and fully formalised derivations. Whereas some claim that any correct proof will be underwritten by a fully formal proof, sceptics demur.
openaire   +1 more source

Hegel’s Ethical View in the Light of his Criticisms of Kant’s Ethical View [PDF]

اخلاق وحیانی, 2016
Immanuel Kant, in his Groundwork of the Metaphysic of Morals, introduced his only aim the search for and the establishment of the highest moral principle, the one which can work as a compass for ethical actions.
hasan ahmadizade
doaj  

Bence Nanay, Aesthetics as Philosophy of Perception, Oxford, Oxford University Press, 2016

Aesthetic Investigations, 2020
N/A
Sue Spaid
doaj   +1 more source

The formalization of Interpretability [PDF]

Studia Logica, 1991
The author discusses interpretability in weak theories without \(\Sigma_ 1\)-collection principle for details and gives a careful derivation of principles of Interpretability Logic valid in any extension of I\(\Delta_ 0+\Omega_ 1\). The case containing the \(\Sigma_ 1\)- collection principle is also discussed in relation with cut and with the ...
openaire   +4 more sources