Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

logique de proposition

propositional calculus

informatique et traitement des données - iate.europa.eu

▷

Quantified propositional calculus and a second-order theory for nc¹Let H be a proof system for the quantified propositional calculus (QPC)....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

How to lie without being (easily) convicted and the lengths of proofs in propositional calculusWe shall describe two general methods for proving lower bounds on the lengths of proofs in propositional calculus and give examples of such lower bounds....

PDF: citeseerx.ist.psu.edu

On a new proof completeness of p. i. propositional calculusIn this paper, in order to obtain some interesting properties of the implicational algebras, we prove a completeness theorem on positive implicational Propositional Calculus in which we use the axiom schema $((a \supset b) \supset b) \supset ((b \supset a) \supset a) $ in an essential manner....

PDF: core.ac.uk

Algebraic properties of propositional calculusIn this short note we relate some known properties of propositional calculusto purely algebraic considerations of a Boolean algebra....

PDF: arxiv.org

Tractability of cut-free gentzen type propositional calculus with permutation inference AbstractWe present a new propositional calculus that has desirable natures with respect to both automatic reasoning and computational complexity: we introduce an inference rule, called permutation, into...

logique de proposition

propositional logic

informatique et traitement des données - iate.europa.eu

de la pré-contrainte est également basée sur la logique de proposition.

the rules of inference are also based on propositional logic.

général - CCMatrix (Wikipedia + CommonCrawl)

▷

Powering decision machines with dynamoContents 1 Dynamic Logic Programming 2 2 Modelling Variable Assignment in Dynamo 3 3 Translating Dynamo into Standard FOL 3 4 Recursion in Dynamo 4 5 Decision Machines for Propositional Logic 5 6 Decision Machines for Modal Logic 8 7 Conclusion 9 1 1 Dynamic Logic Programming Dynamic logic programming is the result of making dynamic versions of ...

informatique et traitement des données / électronique et électrotechnique - core.ac.uk - PDF: citeseerx.ist.psu.edu

Publications scientifiques

▷

Software tools for technology transfer manuscript no. (will be inserted by the editor) an abstraction-based decision procedure for bit-vector arithmetic ⋆... An under-approximation is obtained by a translation to propositional logic in which some bit-vector variables are encoded with fewer Boolean variables than their width....

analyse économique / informatique et traitement des données - core.ac.uk - PDF: citeseerx.ist.psu.edu

▷

Propositional logic, web.verification system for propositional logic....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

▷

Embeddings into free heyting algebras and translations into intuitionistic propositional logicWe find a translation with particularly nice properties from intuitionistic propositional logic in countably many variables to intuitionistic propositional logic in two variables....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

▷

Α-generalized semantic resolution method in linguistic truth-valued propositional logic p(x)This paper is focused on α-generalized semantic resolution automated reasoning method in linguistic truth-valued lattice-valued propositional logic....

général - core.ac.uk - PDF: www.atlantis-press.com