Results 91 to 100 of about 884 (194)
Displaying and deciding substructural logics 1:Logics with contraposition
, 1998 Many logics in the relevant family can be given a proof theory in the style of Belnap's display logic (Belnap, 1982). However, as originally given, the proof theory is essentially more expressive than the logics they seek to model.
Restall, Greg
core +1 more source
Trump's Transactional Diplomacy: Breakthrough or Breakdown?
Middle East Policy, Volume 33, Issue 2, Page 24-40, Summer 2026.Abstract The US‐Israeli war on Iran appears to demonstrate the perils of a transactional diplomacy that dismisses the rules‐based, liberal international order in pursuit of American dominance. Much of the growing literature assumes transactional diplomacy will be a temporary, Trump‐driven departure from traditional, values‐based statecraft. By contrast,
Guilain Denoeux, Robert Springborg
wiley +1 more source
Substructural logics are non-classical logics notable for the absence of one or more structural rules present in classical logic. Initial interest in substructural logics developed independently in the second half of the twentieth century, through ...
Restall, Greg
core +1 more source
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018. [PDF]
J Logic Lang Inf, 2022 Moss L, de Queiroz R.
europepmc +1 more source
, 2008 A b s t r a c t. The present paper is concerned with the cut eliminability for some sequent systems of noncommutative substructural logics, i.e. substructural logics without exchange rule. Sequent systems of several extensions of noncommutative logics FL
core
, 2020 After providing an overview of the algebraic investigations into substructural logics in a historical perspective, with a special focus on their relationships with quantum logics, we summarise the contents of the subsequent chapters of this ...
Francesco Paoli +2 more
core +2 more sources
Logics and admissible rules of constructive set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Iemhoff R, Passmann R.
europepmc +1 more source
Resource-Driven Substructural Defeasible Logic [PDF]
, 2018 Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects, and we discuss the design choices for the framework.
Francesco Olivieri +4 more
openaire +2 more sources
A Logical Modeling of Severe Ignorance. [PDF]
J Philos Logic, 2023 Bonzio S +3 more
europepmc +1 more source
Implication in finite posets with pseudocomplemented sections. [PDF]
Soft comput, 2022 Chajda I, Länger H.
europepmc +1 more source