Results 11 to 20 of about 1,192,263 (231)
Logics of Informational Interactions [PDF]
Journal of Philosophical Logic, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alexandru Baltag, Sonja Smets
openaire +5 more sources
Informalizing Formal Logic [PDF]
Informal Logic, 2019 This paper presents a way in which formal logic can be understood and reformulated in terms of argumentation that can help us unify formal and informal reasoning. Classical deductive reasoning will be expressed entirely in terms of notions and concepts from argumentation so that formal logical entailment is equivalently captured via the arguments that ...
Kakas, Antonis, Kakas, Antonis
openaire +4 more sources
Paraconsistent Informational Logic
Journal of Applied Logic, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Forcheri P, Gentilini P
openaire +3 more sources
The Logic of Design as a Conceptual Logic of Information [PDF]
Minds and Machines, 2017 Abstract This final chapter outlines a logic of design of a system as a specific kind of conceptual logic of the design of the model of a system, that is, the blueprint that provides information about the system to be created. Section 1 uses the method of levels of abstraction to clarify that we have inherited from modernity two main ...
openaire +2 more sources
THE STORIES OF LOGIC AND INFORMATION [PDF]
, 2008 Information is a notion of wide use and great intuitive appeal, and hence, not surprisingly, different formal paradigms claim part of it, from Shannon channel theory to Kolmogorov complexity. Information is also a widely used term in logic, but a similar diversity repeats itself: there are several competing logical accounts of this notion, ranging from
van Benthem, J., Martinez, M.
openaire +2 more sources
Strategy Logic with Imperfect Information [PDF]
ACM Transactions on Computational Logic, 2017 We introduce an extension of Strategy Logic for the imperfect-information setting, called SL ii and study its model-checking problem. As this logic naturally captures multi-player games with imperfect information, this problem is undecidable; but we introduce a syntactical class of “hierarchical instances” for which,
Raphaël Berthon +4 more
openaire +6 more sources
ACM Transactions on Computational LogicPrimal logic arose in access control; it has a remarkably efficient (linear time) decision procedure for its entailment problem. But primal logic is a general logic of information. In the realm of arbitrary items of information (infons), conjunction, disjunction, and implication may seem to correspond (set-theoretically) to union, intersection, and ...
Yuri Gurevich, Andreas Blass
openaire +2 more sources
Informal Logic referees 2011-2012
Informal Logic, 2013 The Editors express their gratitude and appreciation to the indi-viduals listed below who served as referees for Informal Logic for Volumes 31 (2011) and 32 (2012).
Informal Logic Editors
doaj +3 more sources
Agribusiness, EarlyView.ABSTRACT In May 2020, China abruptly suspended imports from several major Australian beef processors, escalating a diplomatic dispute between the two countries. This trade measure disrupted one of the largest beef export relationships in the world almost overnight.
K. Aleks Schaefer, Youngjune Kim
wiley +1 more source
The information in intuitionistic logic [PDF]
Synthese, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources