Results 91 to 100 of about 106,571 (322)

Semantical analysis of superrelevant predicate logics with quantification. [PDF]

, 1988
Mirosław Szatkowski
openalex   +1 more source

Relative Constructions in Classical/Epic Sanskrit

Transactions of the Philological Society, EarlyView.
Abstract While it is widely recognised that Sanskrit shows two major types of relative construction – one relative–correlative, the other similar to postnominal relative clauses in languages like English – it has not been established what the crucial syntactic distinctions are between these types, given the wide range of syntactic variation found in ...
John J. Lowe, Adriana Molina‐Muñoz, Antonia Ruppel   +2 more
wiley   +1 more source

Theories of truth for countable languages which conform to classical logic [PDF]

Every countable language which conforms to classical logic is shown to have an extension which has a consistent definitional theory of truth. That extension has a consistent semantical theory of truth, if every sentence of the object language is ...
Heikkilä, Seppo
core  

A system of predicate logic with transatomic units. [PDF]

, 1987
Richard Butrick
openalex   +1 more source

SAND, PLANTATION URBANISM AND THE EXTENDED POLITICAL ECOLOGY OF INFRASTRUCTURES IN INDIA

International Journal of Urban and Regional Research, EarlyView.
Abstract Recently, large parts of India and the global South have witnessed widespread sand extraction from rural sites for urban infrastructure projects, causing extensive environmental damage. Critical scholarship has theorized these sites as new extractive frontiers that facilitate the needs of green energy transitions and planetary urbanization. In
Siddharth Menon
wiley   +1 more source

A Galois connection between classical and intuitionistic logics. I: Syntax

, 2017
In a 1985 commentary to his collected works, Kolmogorov remarked that his 1932 paper "was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of logic.
Melikhov, Sergey A.
core  

Sequence semantics for dynamic predicate logic [PDF]

, 1993
C. F. M. Vermeulen
openalex   +1 more source

CLASS, PROPERTY RIGHTS AND CITIZENSHIP: Affluent Informal Settlements and the Cultural Production of Property in Delhi

International Journal of Urban and Regional Research, EarlyView.
Abstract Recent scholarship has examined the informal activities of elites. While existing theories suggest that informality is a realm where the state guarantees unhindered access to land and property rights and, subsequently, citizenship entitlements for elites, they have yet to explain how affluent residents of informal colonies obtain citizenship ...
Vivek Mishra
wiley   +1 more source

Managing Risk & Seeking Dignity: Working‐Class Perceptions of University in London, Rochdale & Morecambe

The British Journal of Sociology, EarlyView.
ABSTRACT This paper examines how working‐class young people enroled at college in London, Rochdale and Morecambe perceive of university. It argues that university represents a great risk, associated with high levels of debt, which does deter some students, but at the same time, university is imagined as a meaningful vehicle for dignity and respect ...
Amit Singh
wiley   +1 more source

A resolution method from predicate logic specification into executable code [PDF]

, 1992
Kouichi Ono, Shunsuke Kawano, Yoshiaki Fukazawa, Toshio Kadokura   +3 more
openalex   +1 more source