Results 71 to 80 of about 6,864,933 (152)

Tin Milk of Memory: Reference, Modality, and Dark Ecology in Elena Shvarts’s Poem “The Wind Breathed, and Suddenly...”

Polylinguality and Transcultural Practices
The relevance of the study is driven by the need to apply the tools of analytical philosophy of language to a poetic text to reveal its hidden epistemological structure.
Alexander V. Markov
doaj   +1 more source

The city of necropolises: philosophical anthropology of urban cemeteries

Вестник Мининского университета
Introduction. The relevance of the study is determined by the conflict between the functional logic of modern urbanism and the persistent presence of places of death (necropolises, cemeteries, spontaneous memorials) in the centers of megacities.
A. V. Markov, O. A. Shtayn
doaj   +1 more source

Kripke

, 2011
This chapter examines Saul Kripke's mathematically rigorous, paradox-free treatment of truth for certain formal languages. Kripke adds hints about how his formal construction might model some features of natural language, but his hints steer a path ...
Alexis G. Burgess, John P. Burgess
core   +1 more source

The Kripke family : history and memories

This book was compiled by Harley Kripke around 2008 to document the family tree of his father, Sherwin Kripke.
Kripke, Harley
core  

Constants in Kripke Models for Intuitionistic Logic

, 1995
We present a technique to extend a Kripke structure (for intuitionistic logic) into an elementary extension satisfying some property (cardinality, saturation, etc.) which can be ''axiomatized'' by a family of sets of sentences, where, most often, many ...
Dzierzgowski, D.
core   +1 more source

Kripke vs. Kripke. Eine bescheidene Verteidigung der Kennzeichnungstheorie

, 2007
Nimtz C. Kripke vs. Kripke. Eine bescheidene Verteidigung der Kennzeichnungstheorie. In: Rami A, Wansing H, eds. Referenz und Realität.
Wansing, Heinrich, Rami, Adolf, Nimtz, Christian   +2 more
core  

Geometry in Quantum Kripke Frames

, 2014
Quantum Kripke frames and other related kinds of Kripke frames are introduced. The inner structures of these Kripke frames are studied in detail, and many of them turn out to form nice geometries.
Zhong, Shengyang
core  

Quantum Kripke Semantics

We introduce Quantum Kripke Semantics, a modal semantic framework in which propositions remain Boolean while accessibility relations are generalized to field-valued accessibility operators.
Ferrari, Edson Fernando, GPT5mini, Alice
core   +1 more source

Proof Theory

, 1999
ct-, 32 -- object, 4 variable condition, 5, 10 Warshall algorithm, 55 wellfoundedness, 71 word problem, Index abstraction, 29 application, 29 argument type, 29 arithmetic -- classical, 48 assumption, 4 -- closed, 4 -- free, 30 -- open, 4 atom ...
Helmut Schwichtenberg, Kripke Structure
core  

Boolean full Kripke structures are alg-universal [PDF]

, 2008
Every group is isomorphic to the automorphism group of a Kripke structure with Boolean part equal to a power set Boolean algebra. More generally, we prove that the category of Kripke structures with Boolean part equal to a power set Boolean algebra ...
Pinto, M. Céu
core