Results 11 to 20 of about 10,150 (318)
Bulletin of the Section of Logic, 2023 Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS).
Alexander V. Gheorghiu, David J. Pym
doaj +1 more source
Harmony and Normalisation in Bilateral Logic
Bulletin of the Section of Logic, 2023 In a recent paper del Valle-Inclan and Schlöder argue that bilateral calculi call for their own notion of proof-theoretic harmony, distinct from the usual (or ‘unilateral’) ones.
Pedro del Valle-Inclan
doaj +1 more source
Ear, Nose & Throat Journal, 1993 The authors present an unusual case of upper airway obstruction due to the presence of bilateral communicating laryngoceles. The use of aspiration techniques on the larger of the laryngoceles resulted in a significant improvement in upper airway function.
D M, Thomas, G J, Madden
openaire +2 more sources
BMJ Case Reports, 2013 Macrostomia as a rare facial deformity is classified among facial clefts. It is a rare congenital anomaly which affects the aesthetics and function of the oral cavity. It is usually associated with deformities of other structures developed from the first and second branchial arches. Bilateral transverse cleft occurring alone is uncommon. Here we report
Ravi Prakash Sasankoti, Mohan +3 more
openaire +2 more sources
Role- Playing of Conflict Resolution Rule by the Support of Conflict R esolution Methods (Through Using Comparative Law) [PDF]
پژوهش تطبیقی حقوق اسلام و غرب, 2020 The exclusive application of the bilateral method to the Iran private international law entails some issues. In the stage of creating the right, this method determines the foreign law in areas where the jurisdiction of the substantive law of the court is
seyyed abbas seyyedi arani
doaj +1 more source
, 2019 We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of ...
Incurvati, Luca, Schlöder, Julian J.
core +2 more sources
Journal of Mathematical Economics, 1983 The basic form of economic exchange is a bilateral relationship between buyer and seller. If economic conditions are common knowledge there is no problem in principle to determine the efficient quantity to trade. But if benefits are known only to the buyer and costs are known only to the seller a situation of bargaining under incomplete information ...
Green, Jerry, Honkapohja, Seppo
openaire +4 more sources
Geo-economics and the Hub and Spokes system: the Japanese case
Estudos Internacionais, 2021 This paper examines the reasons why Japan has been building a foreign trade policy based on a hub-and-spokes system. It will be argued that trade efficiency and exports promotion are assumptions that need a broader reconsideration through a geo-economics
Ricardo Vega
doaj +1 more source
Reforma odlučivanja Evropske unije o proširenju: Lekcije iz bugarskih i grčkih veta za Severnu Makedoniju [PDF]
Međunarodni ProblemiOvaj članak proučava Severnu Makedoniju kao primer kandidatske države čiji su napori da se pridruži Evropskoj uniji (EU) u više navrata ometani vetom nekoliko članica, uključujući Grčku, Francusku i Bugarsku.
Yorgos Christidis
doaj +1 more source
Current Trends in Foreign Trade Theory and Policy [PDF]
Polish Political Science Yearbook, 2017 In this research work, Author focus on the current analysis trends in foreign trade theory and policy. Accordance with the foreign trade policy theory further trade liberalisation and improved framework policies would increase trade and promote growth ...
Zdzisław W. Puślecki
doaj +1 more source