Results 41 to 50 of about 7,429,852 (332)
Coalition-proof equilibrium [PDF]
, 1996 We characterize the agreements that the players of a noncooperative game may reach when they can communicate prior to play, but they cannot reach binding agreements: A coalition-proo[ equilibrium is a correlated strategy from which no coalition has an ...
Moreno, Diego, Wooders, John
core +1 more source
Pascal’s Wager, Is the theory of Rationality a proof? [PDF]
حکمت و فلسفه, 2010 There is no agreement about Pascal’s purpose of suggesting his “Wager.” Is Pascal after presenting a logical reason or merely invites others to his spiritual intimacy? Is his addressee Atheist or his purpse is strengthening Christian faith?
mohammad mohammad rezai +1 more
doaj +1 more source
RETRACTED: Tax procedural proof: problems of theory and practice
Правоприменение, 2022 RETRACTED ARTICLEThe subject of this study is the legal norms contained in legislation, other legal acts, as well as materials of law enforcement practice that determine the specifics of tax procedural evidence.
I. V. Glazunova, D. S. Sheptunov
doaj +1 more source
Practical Theory Extension in Event-B [PDF]
, 2013 . The Rodin tool for Event-B supports formal modelling and proof using a mathematical language that is based on predicate logic and set theory. Although Rodin has in-built support for a rich set of operators and proof rules, for some application areas ...
Butler, Michael +3 more
core +1 more source
Existential Foundherentism of Mulla Sadra in the Justification Element [PDF]
حکمت معاصر, 2018 The truth of knowledge was considered by western philosophers and epistemologists long time ago unclear sentence. They were mostly foundationalists or coherentists in the justification element.
Morteza Hosseinzadeh +2 more
doaj +1 more source
Quantification in Ordinary Language and Proof Theory
Philosophia Scientiæ, 2016 This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We
Michele Abrusci +2 more
doaj +1 more source
A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks
European Conference on Artificial Intelligence, 2016 Given a logic-based argumentation framework built over a knowledge base in a logical language and a query in that language. The query is universally accepted if it is entailed from all extensions.
Abdallah Arioua, Madalina Croitoru
semanticscholar +1 more source
Structural Proof Theory as Rewriting [PDF]
, 2006 The multiary version of the λ-calculus with generalized applications integrates smoothly both a fragment of sequent calculus and the system of natural deduction of von Plato. It is equipped with reduction rules (corresponding to cut-elimination/normalisation rules) and permutation rules, typical of sequent calculus and of natural deduction with ...
José Espírito Santo +2 more
openaire +2 more sources
Proof theory for lattice-ordered groups [PDF]
, 2016 Proof-theoretic methods are developed and exploited to establish properties of the variety of lattice-ordered groups. In particular, a hypersequent calculus with a cut rule is used to provide an alternative syntactic proof of the generation of the ...
Metcalfe, George +3 more
core +1 more source
Goal Translation for a Hammer for Coq (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Hammers are tools that provide general purpose automation for formal proof assistants. Despite the gaining popularity of the more advanced versions of type theory, there are no hammers for such systems.
Łukasz Czajka, Cezary Kaliszyk
doaj +1 more source