Results 51 to 60 of about 1,151,417 (307)
Uniform Definability in Propositional Dependence Logic
, 2016 Both propositional dependence logic and inquisitive logic are expressively complete. As a consequence, every formula with intuitionistic disjunction or intuitionistic implication can be translated equivalently into a formula in the language of ...
Yang, Fan
core +1 more source
Topos Semantics for Higher-Order Modal Logic [PDF]
, 2014 We define the notion of a model of higher-order modal logic in an arbitrary elementary topos $\mathcal{E}$. In contrast to the well-known interpretation of (non-modal) higher-order logic, the type of propositions is not interpreted by the subobject ...
Awodey, Steve +2 more
core +1 more source
AI &Innovation, EarlyView.ABSTRACT The rapid advancement of large language model (LLM) technology is profoundly transforming the practice of social science research. Scholarly discussions on Artificial Intelligence (AI)'s role in social science research can be organised into three levels: AI as a research tool, AI as a methodological infrastructure and AI as a quasi‐cognitive ...
Jie Xiong
wiley +1 more source
Propositional inquisitive logic: a survey [PDF]
Computer Science Journal of Moldova, 2016 This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and
Ivano Ciardelli
doaj
Proving since ever? An inferential approach to compactness in propositional logic
O Que Nos Faz Pensar, 2022 An inferential approach to compactness/finitude in propositional logic.
Jean-Baptiste Joinet
doaj +1 more source
Decidability of quantified propositional intuitionistic logic and S4 on trees
, 2002 Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions.
D. Gabbay +9 more
core +1 more source
Relating Sequent Calculi for Bi-intuitionistic Propositional Logic [PDF]
CL&C, 2011 Bi-intuitionistic logic is the conservative extension of i ntuitionistic logic with a connective dual to implication. It is sometimes presented as a symmetric constructive subsystem of classical logic.
L. Pinto, T. Uustalu
semanticscholar +1 more source
Food inflation pass‐through from agricultural imports in a small open economy
American Journal of Agricultural Economics, EarlyView.Abstract This paper develops a new framework for quantifying cost pass‐through in a small open economy by estimating firm‐level markup responses to agricultural import price shocks. We show theoretically that markup adjustments depend on firms' reliance on imported inputs and demand curvature, generating heterogeneous inflationary effects across firm ...
Minseong Kang, Seungki Lee
wiley +1 more source
‘Turkeys Cannot Vote for Christmas’: Why Epistemic Disobedience in an Anti‐Black World Matters
Australian Journal of Social Issues, EarlyView.ABSTRACT Never in the history of global coloniality has the idea of epistemic disobedience been as important as in the 21st century. This is not only because the struggle for decolonisation has shifted from physical confrontation between the coloniser and the colonised into a battle of ideas but also because the former has deployed the idea of ...
Morgan Ndlovu
wiley +1 more source
Towards an algebrization of a linear temporal logic
CQD Revista Eletrônica Paulista de MatemáticaThe subject of this paper is the Propositional Neighbourhood Logic (PNL), a case of linear temporal logic and an extension of Classical Propositional Logic that results from the inclusion of modal operators that deal with certain temporal aspects.
Romulo Albano de Freitas +2 more
doaj +1 more source