Fundamentals of Logic
|
|
- Aron Booth
- 5 years ago
- Views:
Transcription
1 Fundamentals of Logic No.4 Proof Tatsuya Hagino Faculty of Environment and Information Studies Keio University 2015/5/11 Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 1 / 17
2 So Far Propositional Logic Logical connectives Truth table Tautology Normal form Disjunctive normal form Conjunctive normal form Restricting logical connectives Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 2 / 17
3 Inference (Deduction) Using truth table to show the correctness of propositions Calculate the truth value from the truth value of propositional variables. Inference Infer new correct proposition from correct propositions already known Apply inference rules to propositions Infer A from premises B 1,..., B n Inference Rule Rule to infer correct proposition from correct premise propositions Example: From A and A B, infer B modus ponens or syllogium All men are mortal and Socrates is a man, therefore Socrates is mortal. Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 3 / 17
4 Axiom and Theorem Axiom Premises which we believe correct. There is only one straight line which goes through two different points. Parallel straight lines never meet. Theorem Propositions which are inferred from axioms using inference rules Proof is the inference steps of theorem The sum of internal angles of any triangle is 180 degrees. Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 4 / 17
5 Formal Logical Framework Framework for handling logic formally Framework for handling logical formulae Consist of axioms and inference rules Frameworks for Classical Propositional Logic: Hilbert framework (Hilbert style) Axiomatic framework Only one inference rule: modus ponens Natural Deduction by Gentzen NK framework (NK system) Close to ordinary (human) inference Sequent Calculus by Gentzen LK framework (LK system) Easy to formalize Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 5 / 17
6 LK Sequent LK system use sequent: A 1,..., A m B 1,..., B n Antecedent: A 1,..., A m Succedent: B 1,..., B n If A 1 to A m are true, at least one of B 1 to B n is also true. m and/or n may be zero. B 1,..., B n No antecedent At least one of B 1 to B n is true. A 1,..., A m No succedent If A 1 to A m are true, contradicts. At least one of A 1 to A m is not true. No antecedent, no succedent Contradiction. Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 6 / 17
7 LK Axiom and Inference Rules Axiom: Initial Sequent A A Inference rules for structure: (weakening-l) Γ A, Γ (weakening-r) Γ Γ, A (contraction-l) A, A, Γ A, Γ (contraction-r) Γ, A, A Γ, A (exchange-l) Γ, A, B, Π Γ, B, A, Π (exchange-r) Γ, A, B, Σ Γ, B, A, Σ Γ, A A, Π Σ (cut) Γ, Π, Σ (Γ,, Π, Σ are sequences of logical formulae) Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 7 / 17
8 Inference rules Inference rules for logical connectives: ( L1) A, Γ A B, Γ ( L2) B, Γ A B, Γ ( R) Γ, A Γ, B Γ, A B ( L) A, Γ B, Γ A B, Γ ( R1) Γ, A Γ, A B ( R2) Γ, B Γ, A B ( L) Γ, A B, Π Σ A B, Γ, Π, Σ ( R) A, Γ, B Γ, A B ( L) Γ, A A, Γ Initial sequent for propositional constants: ( R) A, Γ Γ, A Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 8 / 17
9 LK Proof Figure LK Proof Figure: Start from initial sequent and apply inference rules The bottom sequent is called end sequent of the proof figure. Example: Proof Figure A A A, A A, A A A A, A A A, A A A A End Sequent: A A When there is a proof figure of which end sequent is S, S is provable in LK. Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 9 / 17
10 Extending Inference Rules Applying inference rules to formula in the sequent other than left-most or right-most one. Using exchange rules, formula at any position can be moved to left-most or right-most position. Extend inference rules of contraction, weakening and logical connectives to formula at any position. When S can be inferred from S 1, S 2,..., S n using LK inference rules, we write: S 1 S 2 S n S The above inference is inferred in LK. Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 10 / 17
11 Meaning of Sequent Theorem: The followings are equivalent: 1 A sequent A 1,..., A m B 1,..., B n is provable in LK. 2 A sequent A 1 A m B 1 B n is provable in LK. 3 A formula A 1 A m B 1 B n is provable in LK. Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 11 / 17
12 Exercise (1) Show the proof figure of (A B) A B Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 12 / 17
13 Exercise (2) Show the proof figure of A B, A B A Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 13 / 17
14 Exercise (3) Show the proof figure of A B (A B) Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 14 / 17
15 Exercise (4) Show the proof figure of A A Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 15 / 17
16 Exercise (5) Show the proof figure of A A Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 16 / 17
17 Summary Inference Axiom Theorem LK System Sequent Initial and End Sequent LK Inference Rules Proof Proof Figure Tatsuya Hagino (Faculty of Environment and InformationFundamentals Studies Keio of University) Logic 2015/5/11 17 / 17
1 FUNDAMENTALS OF LOGIC NO.5 SOUNDNESS AND COMPLETENESS Tatsuya Hagino hagino@sfc.keio.ac.jp lecture URL https://vu5.sfc.keio.ac.jp/slide/ 2 So Far Propositional Logic Logical Connectives(,,, ) Truth Table
More information0.1 Equivalence between Natural Deduction and Axiomatic Systems
0.1 Equivalence between Natural Deduction and Axiomatic Systems Theorem 0.1.1. Γ ND P iff Γ AS P ( ) it is enough to prove that all axioms are theorems in ND, as MP corresponds to ( e). ( ) by induction
More informationThreshold logic proof systems
Threshold logic proof systems Samuel Buss Peter Clote May 19, 1995 In this note, we show the intersimulation of three threshold logics within a polynomial size and constant depth factor. The logics are
More informationSecurity issues in contract-based computing
Security issues in contract-based computing Massimo Bartoletti 1 and Roberto Zunino 2 1 Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari, Italy 2 Dipartimento di Ingegneria
More information2 Deduction in Sentential Logic
2 Deduction in Sentential Logic Though we have not yet introduced any formal notion of deductions (i.e., of derivations or proofs), we can easily give a formal method for showing that formulas are tautologies:
More informationTableau Theorem Prover for Intuitionistic Propositional Logic
Tableau Theorem Prover for Intuitionistic Propositional Logic Portland State University CS 510 - Mathematical Logic and Programming Languages Motivation Tableau for Classical Logic If A is contradictory
More informationTableau Theorem Prover for Intuitionistic Propositional Logic
Tableau Theorem Prover for Intuitionistic Propositional Logic Portland State University CS 510 - Mathematical Logic and Programming Languages Motivation Tableau for Classical Logic If A is contradictory
More informationCut-free sequent calculi for algebras with adjoint modalities
Cut-free sequent calculi for algebras with adjoint modalities Roy Dyckhoff (University of St Andrews) and Mehrnoosh Sadrzadeh (Universities of Oxford & Southampton) TANCL Conference, Oxford, 8 August 2007
More information5 Deduction in First-Order Logic
5 Deduction in First-Order Logic The system FOL C. Let C be a set of constant symbols. FOL C is a system of deduction for the language L # C. Axioms: The following are axioms of FOL C. (1) All tautologies.
More informationarxiv: v1 [math.lo] 24 Feb 2014
Residuated Basic Logic II. Interpolation, Decidability and Embedding Minghui Ma 1 and Zhe Lin 2 arxiv:1404.7401v1 [math.lo] 24 Feb 2014 1 Institute for Logic and Intelligence, Southwest University, Beibei
More informationA Syntactic Realization Theorem for Justification Logics
A Syntactic Realization Theorem for Justification Logics Kai Brünnler, Remo Goetschi, and Roman Kuznets 1 Institut für Informatik und angewandte Mathematik, Universität Bern Neubrückstrasse 10, CH-3012
More informationIntroduction An example Cut elimination. Deduction Modulo. Olivier Hermant. Tuesday, December 12, Deduction Modulo
Tuesday, December 12, 2006 Deduction and Computation Sequent calculus The cut rule The rewrite rules Sequent calculus The cut rule The rewrite rules Deduction system: Gentzen s sequent calculus Γ, P P
More informationSAT and DPLL. Introduction. Preliminaries. Normal forms DPLL. Complexity. Espen H. Lian. DPLL Implementation. Bibliography.
SAT and Espen H. Lian Ifi, UiO Implementation May 4, 2010 Espen H. Lian (Ifi, UiO) SAT and May 4, 2010 1 / 59 Espen H. Lian (Ifi, UiO) SAT and May 4, 2010 2 / 59 Introduction Introduction SAT is the problem
More informationSAT and DPLL. Espen H. Lian. May 4, Ifi, UiO. Espen H. Lian (Ifi, UiO) SAT and DPLL May 4, / 59
SAT and DPLL Espen H. Lian Ifi, UiO May 4, 2010 Espen H. Lian (Ifi, UiO) SAT and DPLL May 4, 2010 1 / 59 Normal forms Normal forms DPLL Complexity DPLL Implementation Bibliography Espen H. Lian (Ifi, UiO)
More informationFocusing on contraction
Focusing on contraction Alessandro Avellone 1, Camillo Fiorentini 2, Alberto Momigliano 2 1 DISMEQ, Università degli Studi di Milano-Bicocca 2 DI, Università degli Studi di Milano Abstract. Focusing [1]
More informationAn Adaptive Characterization of Signed Systems for Paraconsistent Reasoning
An Adaptive Characterization of Signed Systems for Paraconsistent Reasoning Diderik Batens, Joke Meheus, Dagmar Provijn Centre for Logic and Philosophy of Science University of Ghent, Belgium {Diderik.Batens,Joke.Meheus,Dagmar.Provijn}@UGent.be
More informationTABLEAU-BASED DECISION PROCEDURES FOR HYBRID LOGIC
TABLEAU-BASED DECISION PROCEDURES FOR HYBRID LOGIC THOMAS BOLANDER AND TORBEN BRAÜNER Abstract. Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known
More informationImplications as rules
ProDi Tübingen 26.2.2011 p. 1 Implications as rules In defence of proof-theoretic semantics Peter Schroeder-Heister Wilhelm-Schickard-Institut für Informatik Universität Tübingen ProDi Tübingen 26.2.2011
More informationIsabelle/FOL First-Order Logic
Isabelle/FOL First-Order Logic Larry Paulson and Markus Wenzel October 8, 2017 Contents 1 Intuitionistic first-order logic 2 1.1 Syntax and axiomatic basis................... 2 1.1.1 Equality..........................
More informationTEST 1 SOLUTIONS MATH 1002
October 17, 2014 1 TEST 1 SOLUTIONS MATH 1002 1. Indicate whether each it below exists or does not exist. If the it exists then write what it is. No proofs are required. For example, 1 n exists and is
More informationAmerican Option Pricing Formula for Uncertain Financial Market
American Option Pricing Formula for Uncertain Financial Market Xiaowei Chen Uncertainty Theory Laboratory, Department of Mathematical Sciences Tsinghua University, Beijing 184, China chenxw7@mailstsinghuaeducn
More informationAxiomatizing the Skew Boolean Propositional Calculus
Axiomatizing the Skew Boolean Propositional Calculus R. Veroff University of New Mexico M. Spinks La Trobe University April 14, 2007 Abstract. The skew Boolean propositional calculus (SBP C) is a generalization
More informationNotes on Natural Logic
Notes on Natural Logic Notes for PHIL370 Eric Pacuit November 16, 2012 1 Preliminaries: Trees A tree is a structure T = (T, E), where T is a nonempty set whose elements are called nodes and E is a relation
More informationOn Lukasiewicz's intuitionistic fuzzy disjunction and conjunction
Ãîäèøíèê íà Ñåêöèÿ Èíôîðìàòèêà Annual of Informatics Section Ñúþç íà ó åíèòå â Áúëãàðèÿ Union of Scientists in Bulgaria Òîì 3, 2010, 90-94 Volume 3, 2010, 90-94 On Lukasiewicz's intuitionistic fuzzy disjunction
More informationCS 4110 Programming Languages and Logics Lecture #2: Introduction to Semantics. 1 Arithmetic Expressions
CS 4110 Programming Languages and Logics Lecture #2: Introduction to Semantics What is the meaning of a program? When we write a program, we represent it using sequences of characters. But these strings
More information8. Propositional Logic Natural deduction - negation. Solved problems
8. Propositional Logic Natural deduction - negation Solved problems Problem: A B can be derived from (A B). (De Morgan law) Problem: A B can be derived from (A B). (De Morgan law) Let us first think intuitively
More informationHorn-formulas as Types for Structural Resolution
Horn-formulas as Types for Structural Resolution Peng Fu, Ekaterina Komendantskaya University of Dundee School of Computing 2 / 17 Introduction: Background Logic Programming(LP) is based on first-order
More informationComputing Unsatisfiable k-sat Instances with Few Occurrences per Variable
Computing Unsatisfiable k-sat Instances with Few Occurrences per Variable Shlomo Hoory and Stefan Szeider Department of Computer Science, University of Toronto, shlomoh,szeider@cs.toronto.edu Abstract.
More informationOnline Algorithms SS 2013
Faculty of Computer Science, Electrical Engineering and Mathematics Algorithms and Complexity research group Jun.-Prof. Dr. Alexander Skopalik Online Algorithms SS 2013 Summary of the lecture by Vanessa
More informationPhilipp Moritz Lücke
Σ 1 -partition properties Philipp Moritz Lücke Mathematisches Institut Rheinische Friedrich-Wilhelms-Universität Bonn http://www.math.uni-bonn.de/people/pluecke/ Logic & Set Theory Seminar Bristol, 14.02.2017
More informationLogic and Artificial Intelligence Lecture 24
Logic and Artificial Intelligence Lecture 24 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationContrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau)
From Theoria 71 (2005), 241 262. Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau) LLOYD HUMBERSTONE Monash University ABSTRACT. We discuss
More informationCIS 500 Software Foundations Fall October. CIS 500, 6 October 1
CIS 500 Software Foundations Fall 2004 6 October CIS 500, 6 October 1 Midterm 1 is next Wednesday Today s lecture will not be covered by the midterm. Next Monday, review class. Old exams and review questions
More informationSemantics with Applications 2b. Structural Operational Semantics
Semantics with Applications 2b. Structural Operational Semantics Hanne Riis Nielson, Flemming Nielson (thanks to Henrik Pilegaard) [SwA] Hanne Riis Nielson, Flemming Nielson Semantics with Applications:
More informationComparing Partial Rankings
Comparing Partial Rankings Ronald Fagin Ravi Kumar Mohammad Mahdian D. Sivakumar Erik Vee To appear: SIAM J. Discrete Mathematics Abstract We provide a comprehensive picture of how to compare partial rankings,
More informationOn the supposed unity of soritical and semantic paradox
On the supposed unity of soritical and semantic paradox David Ripley University of Connecticut http://davewripley.rocks (UConn logo, 1959) The targets Soritical The targets Semantic The targets Unity The
More informationAnother Variant of 3sat. 3sat. 3sat Is NP-Complete. The Proof (concluded)
3sat k-sat, where k Z +, is the special case of sat. The formula is in CNF and all clauses have exactly k literals (repetition of literals is allowed). For example, (x 1 x 2 x 3 ) (x 1 x 1 x 2 ) (x 1 x
More informationRiemannian Geometry, Key to Homework #1
Riemannian Geometry Key to Homework # Let σu v sin u cos v sin u sin v cos u < u < π < v < π be a parametrization of the unit sphere S {x y z R 3 x + y + z } Fix an angle < θ < π and consider the parallel
More informationDeterminacy models and good scales at singular cardinals
Determinacy models and good scales at singular cardinals University of California, Irvine Logic in Southern California University of California, Los Angeles November 15, 2014 After submitting the title
More informationOn Toponogov s Theorem
On Toponogov s Theorem Viktor Schroeder 1 Trigonometry of constant curvature spaces Let κ R be given. Let M κ be the twodimensional simply connected standard space of constant curvature κ. Thus M κ is
More informationMAT25 LECTURE 10 NOTES. = a b. > 0, there exists N N such that if n N, then a n a < ɛ
MAT5 LECTURE 0 NOTES NATHANIEL GALLUP. Algebraic Limit Theorem Theorem : Algebraic Limit Theorem (Abbott Theorem.3.3) Let (a n ) and ( ) be sequences of real numbers such that lim n a n = a and lim n =
More informationStrong normalisation and the typed lambda calculus
CHAPTER 9 Strong normalisation and the typed lambda calculus In the previous chapter we looked at some reduction rules for intuitionistic natural deduction proofs and we have seen that by applying these
More informationBROWNIAN MOTION II. D.Majumdar
BROWNIAN MOTION II D.Majumdar DEFINITION Let (Ω, F, P) be a probability space. For each ω Ω, suppose there is a continuous function W(t) of t 0 that satisfies W(0) = 0 and that depends on ω. Then W(t),
More informationDecidability and Recursive Languages
Decidability and Recursive Languages Let L (Σ { }) be a language, i.e., a set of strings of symbols with a finite length. For example, {0, 01, 10, 210, 1010,...}. Let M be a TM such that for any string
More informationA Knowledge-Theoretic Approach to Distributed Problem Solving
A Knowledge-Theoretic Approach to Distributed Problem Solving Michael Wooldridge Department of Electronic Engineering, Queen Mary & Westfield College University of London, London E 4NS, United Kingdom
More informationSyllogistic Logics with Verbs
Syllogistic Logics with Verbs Lawrence S Moss Department of Mathematics Indiana University Bloomington, IN 47405 USA lsm@csindianaedu Abstract This paper provides sound and complete logical systems for
More informationComputing Unsatisfiable k-sat Instances with Few Occurrences per Variable
Computing Unsatisfiable k-sat Instances with Few Occurrences per Variable Shlomo Hoory and Stefan Szeider Abstract (k, s)-sat is the propositional satisfiability problem restricted to instances where each
More informationA Logic-based Approach to Decision Making. Magdalena Ivanovska and Martin Giese
A Logic-based Approach to Decision Making Magdalena Ivanovska and Martin Giese Abstract We propose a novel approach to the well-studied problem of making a finite, ordered sequence of decisions under uncertainty.
More informationThe Traveling Salesman Problem. Time Complexity under Nondeterminism. A Nondeterministic Algorithm for tsp (d)
The Traveling Salesman Problem We are given n cities 1, 2,..., n and integer distances d ij between any two cities i and j. Assume d ij = d ji for convenience. The traveling salesman problem (tsp) asks
More informationHarvard School of Engineering and Applied Sciences CS 152: Programming Languages
Harvard School of Engineering and Applied Sciences CS 152: Programming Languages Lecture 2 Thursday, January 30, 2014 1 Expressing Program Properties Now that we have defined our small-step operational
More informationA semantics for concurrent permission logic. Stephen Brookes CMU
A semantics for concurrent permission logic Stephen Brookes CMU Cambridge, March 2006 Traditional logic Owicki/Gries 76 Γ {p} c {q} Resource-sensitive partial correctness Γ specifies resources ri, protection
More informationMAC Learning Objectives. Learning Objectives (Cont.)
MAC 1140 Module 12 Introduction to Sequences, Counting, The Binomial Theorem, and Mathematical Induction Learning Objectives Upon completing this module, you should be able to 1. represent sequences. 2.
More informationCS792 Notes Henkin Models, Soundness and Completeness
CS792 Notes Henkin Models, Soundness and Completeness Arranged by Alexandra Stefan March 24, 2005 These notes are a summary of chapters 4.5.1-4.5.5 from [1]. 1 Review indexed family of sets: A s, where
More informationLecture 2: The Simple Story of 2-SAT
0510-7410: Topics in Algorithms - Random Satisfiability March 04, 2014 Lecture 2: The Simple Story of 2-SAT Lecturer: Benny Applebaum Scribe(s): Mor Baruch 1 Lecture Outline In this talk we will show that
More informationTHE OPERATIONAL PERSPECTIVE
THE OPERATIONAL PERSPECTIVE Solomon Feferman ******** Advances in Proof Theory In honor of Gerhard Jäger s 60th birthday Bern, Dec. 13-14, 2013 1 Operationally Based Axiomatic Programs The Explicit Mathematics
More informationDefinition: A proposition is a sentence that is either true or false, but not both.
Math 3336 Section 1.1 Propositional Logic What is a proposition? Definition: A proposition is a sentence that is either true or false, but not both. Examples of Propositions: a. Austin is the capital of
More informationDesigning efficient market pricing mechanisms
Designing efficient market pricing mechanisms Volodymyr Kuleshov Gordon Wilfong Department of Mathematics and School of Computer Science, McGill Universty Algorithms Research, Bell Laboratories August
More informationA Translation of Intersection and Union Types
A Translation of Intersection and Union Types for the λ µ-calculus Kentaro Kikuchi RIEC, Tohoku University kentaro@nue.riec.tohoku.ac.jp Takafumi Sakurai Department of Mathematics and Informatics, Chiba
More informationSyllogistic Logics with Verbs
Syllogistic Logics with Verbs Lawrence S Moss Department of Mathematics Indiana University Bloomington, IN 47405 USA lsm@csindianaedu Abstract This paper provides sound and complete logical systems for
More informationCharacterizing large cardinals in terms of layered partial orders
Characterizing large cardinals in terms of layered partial orders Philipp Moritz Lücke Joint work with Sean D. Cox (VCU Richmond) Mathematisches Institut Rheinische Friedrich-Wilhelms-Universität Bonn
More informationmonotone circuit value
monotone circuit value A monotone boolean circuit s output cannot change from true to false when one input changes from false to true. Monotone boolean circuits are hence less expressive than general circuits.
More informationGeneralising the weak compactness of ω
Generalising the weak compactness of ω Andrew Brooke-Taylor Generalised Baire Spaces Masterclass Royal Netherlands Academy of Arts and Sciences 22 August 2018 Andrew Brooke-Taylor Generalising the weak
More informationAn Axiomatic Study of Scoring Rule Markets. January 2018
An Axiomatic Study of Scoring Rule Markets Rafael Frongillo Bo Waggoner CU Boulder UPenn January 2018 1 / 21 Prediction markets Prediction market: mechanism wherein agents buy/sell contracts... thereby
More informationProbability Theory and Simulation Methods. April 9th, Lecture 20: Special distributions
April 9th, 2018 Lecture 20: Special distributions Week 1 Chapter 1: Axioms of probability Week 2 Chapter 3: Conditional probability and independence Week 4 Chapters 4, 6: Random variables Week 9 Chapter
More informationChain conditions, layered partial orders and weak compactness
Chain conditions, layered partial orders and weak compactness Philipp Moritz Lücke Joint work with Sean D. Cox (VCU Richmond) Mathematisches Institut Rheinische Friedrich-Wilhelms-Universität Bonn http://www.math.uni-bonn.de/people/pluecke/
More informationPractical SAT Solving
Practical SAT Solving Lecture 1 Carsten Sinz, Tomáš Balyo April 18, 2016 NSTITUTE FOR THEORETICAL COMPUTER SCIENCE KIT University of the State of Baden-Wuerttemberg and National Laboratory of the Helmholtz
More informationComparing Goal-Oriented and Procedural Service Orchestration
Comparing Goal-Oriented and Procedural Service Orchestration M. Birna van Riemsdijk 1 Martin Wirsing 2 1 Technische Universiteit Delft, The Netherlands m.b.vanriemsdijk@tudelft.nl 2 Ludwig-Maximilians-Universität
More informationCHOICE THEORY, UTILITY FUNCTIONS AND RISK AVERSION
CHOICE THEORY, UTILITY FUNCTIONS AND RISK AVERSION Szabolcs Sebestyén szabolcs.sebestyen@iscte.pt Master in Finance INVESTMENTS Sebestyén (ISCTE-IUL) Choice Theory Investments 1 / 65 Outline 1 An Introduction
More informationHarvard School of Engineering and Applied Sciences CS 152: Programming Languages
Harvard School of Engineering and Applied Sciences CS 152: Programming Languages Lecture 3 Tuesday, January 30, 2018 1 Inductive sets Induction is an important concept in the theory of programming language.
More informationMathematical Logic Final Exam 14th June PROPOSITIONAL LOGIC
Mathematical Logic Final Exam 14th June 2013 1 PROPOSITIONAL LOGIC Exercise 1. [3 marks] Derive the following formulas via Natural Deduction: (A B) (A B) Solution. See slides of propositional reasoning
More informationMaximally Consistent Extensions
Chapter 4 Maximally Consistent Extensions Throughout this chapter we require that all formulae are written in Polish notation and that the variables are amongv 0,v 1,v 2,... Recall that by the PRENEX NORMAL
More informationThe illustrated zoo of order-preserving functions
The illustrated zoo of order-preserving functions David Wilding, February 2013 http://dpw.me/mathematics/ Posets (partially ordered sets) underlie much of mathematics, but we often don t give them a second
More informationThe reverse self-dual serial cost-sharing rule M. Josune Albizuri, Henar Díez and Amaia de Sarachu. April 17, 2012
The reverse self-dual serial cost-sharing rule M. Josune Albizuri, Henar Díez and Amaia de Sarachu April 17, 01 Abstract. In this study we define a cost sharing rule for cost sharing problems. This rule
More information10/1/2012. PSY 511: Advanced Statistics for Psychological and Behavioral Research 1
PSY 511: Advanced Statistics for Psychological and Behavioral Research 1 Pivotal subject: distributions of statistics. Foundation linchpin important crucial You need sampling distributions to make inferences:
More informationA Probabilistic Logic for Sequences of Decisions
A Probabilistic Logic for Sequences of Decisions Magdalena Ivanovska and Martin Giese Department of Informatics University of Oslo, Norway Abstract We define a probabilistic propositional logic for making
More informationISBN ISSN
UNIVERSITY OF OSLO Department of Informatics A Logic-based Approach to Decision Making (extended version) Research Report 441 Magdalena Ivanovska Martin Giese ISBN 82-7368-373-7 ISSN 0806-3036 A Logic-based
More informationCook s Theorem: the First NP-Complete Problem
Cook s Theorem: the First NP-Complete Problem Theorem 37 (Cook (1971)) sat is NP-complete. sat NP (p. 113). circuit sat reduces to sat (p. 284). Now we only need to show that all languages in NP can be
More informationCovering properties of derived models
University of California, Irvine June 16, 2015 Outline Background Inaccessible limits of Woodin cardinals Weakly compact limits of Woodin cardinals Let L denote Gödel s constructible universe. Weak covering
More informationLecture 2: The Neoclassical Growth Model
Lecture 2: The Neoclassical Growth Model Florian Scheuer 1 Plan Introduce production technology, storage multiple goods 2 The Neoclassical Model Three goods: Final output Capital Labor One household, with
More informationLevel by Level Inequivalence, Strong Compactness, and GCH
Level by Level Inequivalence, Strong Compactness, and GCH Arthur W. Apter Department of Mathematics Baruch College of CUNY New York, New York 10010 USA and The CUNY Graduate Center, Mathematics 365 Fifth
More informationOrthogonality to the value group is the same as generic stability in C-minimal expansions of ACVF
Orthogonality to the value group is the same as generic stability in C-minimal expansions of ACVF Will Johnson February 18, 2014 1 Introduction Let T be some C-minimal expansion of ACVF. Let U be the monster
More information4 Martingales in Discrete-Time
4 Martingales in Discrete-Time Suppose that (Ω, F, P is a probability space. Definition 4.1. A sequence F = {F n, n = 0, 1,...} is called a filtration if each F n is a sub-σ-algebra of F, and F n F n+1
More informationFirst-Order Logic in Standard Notation Basics
1 VOCABULARY First-Order Logic in Standard Notation Basics http://mathvault.ca April 21, 2017 1 Vocabulary Just as a natural language is formed with letters as its building blocks, the First- Order Logic
More informationOn Existence of Equilibria. Bayesian Allocation-Mechanisms
On Existence of Equilibria in Bayesian Allocation Mechanisms Northwestern University April 23, 2014 Bayesian Allocation Mechanisms In allocation mechanisms, agents choose messages. The messages determine
More informationOptimizing S-shaped utility and risk management
Optimizing S-shaped utility and risk management Ineffectiveness of VaR and ES constraints John Armstrong (KCL), Damiano Brigo (Imperial) Quant Summit March 2018 Are ES constraints effective against rogue
More informationAnother Variant of 3sat
Another Variant of 3sat Proposition 32 3sat is NP-complete for expressions in which each variable is restricted to appear at most three times, and each literal at most twice. (3sat here requires only that
More informationA Decidable Logic for Time Intervals: Propositional Neighborhood Logic
From: AAAI Technical Report WS-02-17 Compilation copyright 2002, AAAI (wwwaaaiorg) All rights reserved A Decidable Logic for Time Intervals: Propositional Neighborhood Logic Angelo Montanari University
More informationarxiv: v2 [q-fin.pr] 23 Nov 2017
VALUATION OF EQUITY WARRANTS FOR UNCERTAIN FINANCIAL MARKET FOAD SHOKROLLAHI arxiv:17118356v2 [q-finpr] 23 Nov 217 Department of Mathematics and Statistics, University of Vaasa, PO Box 7, FIN-6511 Vaasa,
More information2. This algorithm does not solve the problem of finding a maximum cardinality set of non-overlapping intervals. Consider the following intervals:
1. No solution. 2. This algorithm does not solve the problem of finding a maximum cardinality set of non-overlapping intervals. Consider the following intervals: E A B C D Obviously, the optimal solution
More informationLecture Notes on Bidirectional Type Checking
Lecture Notes on Bidirectional Type Checking 15-312: Foundations of Programming Languages Frank Pfenning Lecture 17 October 21, 2004 At the beginning of this class we were quite careful to guarantee that
More informationbeing saturated Lemma 0.2 Suppose V = L[E]. Every Woodin cardinal is Woodin with.
On NS ω1 being saturated Ralf Schindler 1 Institut für Mathematische Logik und Grundlagenforschung, Universität Münster Einsteinstr. 62, 48149 Münster, Germany Definition 0.1 Let δ be a cardinal. We say
More informationAlgorithmic Game Theory and Applications. Lecture 11: Games of Perfect Information
Algorithmic Game Theory and Applications Lecture 11: Games of Perfect Information Kousha Etessami finite games of perfect information Recall, a perfect information (PI) game has only 1 node per information
More informationYou may not start to read the questions printed on the subsequent pages of this question paper until instructed that you may do so by the Invigilator
ECONOMICS TRIPOS PART IIA Monday 3 June 2013 9:00-12:00 Paper 1 MICROECONOMICS The paper is divided into two Sections - A and B. Answer FOUR questions in total with at least ONE question from each Section.
More informationChapter 4: Estimation
Slide 4.1 Chapter 4: Estimation Estimation is the process of using sample data to draw inferences about the population Sample information x, s Inferences Population parameters µ,σ Slide 4. Point and interval
More informationGödel algebras free over finite distributive lattices
TANCL, Oxford, August 4-9, 2007 1 Gödel algebras free over finite distributive lattices Stefano Aguzzoli Brunella Gerla Vincenzo Marra D.S.I. D.I.COM. D.I.C.O. University of Milano University of Insubria
More informationDrunken Birds, Brownian Motion, and Other Random Fun
Drunken Birds, Brownian Motion, and Other Random Fun Michael Perlmutter Department of Mathematics Purdue University 1 M. Perlmutter(Purdue) Brownian Motion and Martingales Outline Review of Basic Probability
More informationThe Normal Distribution
5.1 Introduction to Normal Distributions and the Standard Normal Distribution Section Learning objectives: 1. How to interpret graphs of normal probability distributions 2. How to find areas under the
More informationREWIRING YOUR MATH KNOWLEDGE
REWIRING YOUR MATH KNOWLEDGE An Example of a Novel Way to Understand Math in Real World - Financial Mathematics Probably every 7 th grader will be able to do the following mathematical tasks. Let s assume
More informationGPD-POT and GEV block maxima
Chapter 3 GPD-POT and GEV block maxima This chapter is devoted to the relation between POT models and Block Maxima (BM). We only consider the classical frameworks where POT excesses are assumed to be GPD,
More information3 The Model Existence Theorem
3 The Model Existence Theorem Although we don t have compactness or a useful Completeness Theorem, Henkinstyle arguments can still be used in some contexts to build models. In this section we describe
More information