models of set theory in lukasiewicz logic
play

Models of set theory in Lukasiewicz logic Zuzana Hanikov a - PowerPoint PPT Presentation

Jun 18, 2023 •203 likes •959 views

Models of set theory in Lukasiewicz logic Zuzana Hanikov a Institute of Computer Science Academy of Sciences of the Czech Republic Prague seminar on non-classical mathematics 11 13 June 2015 (joint work with Petr H ajek) Zuzana

  1. Models of set theory in � Lukasiewicz logic Zuzana Hanikov´ a Institute of Computer Science Academy of Sciences of the Czech Republic Prague seminar on non-classical mathematics 11 – 13 June 2015 (joint work with Petr H´ ajek) Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

  2. Why fuzzy set theory? try to capture a mathematical world: develop fuzzy mathematics (indicate a direction) study the notion of a set, and rudimentary notions of set theory (some properties may be available on a limited scale; classically equivalent notions need not be available in a weak setting) wider set-theoretic universe: recast the classical universe of sets as a subuniverse of the universe of fuzzy sets Explore the limits of (relative) consistency. (Which logics allow for an interpretation of classical ZF? Which logics give a consistent system?) Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

  3. Why fuzzy set theory? try to capture a mathematical world: develop fuzzy mathematics (indicate a direction) study the notion of a set, and rudimentary notions of set theory (some properties may be available on a limited scale; classically equivalent notions need not be available in a weak setting) wider set-theoretic universe: recast the classical universe of sets as a subuniverse of the universe of fuzzy sets Explore the limits of (relative) consistency. (Which logics allow for an interpretation of classical ZF? Which logics give a consistent system?) Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

  4. Why fuzzy set theory? try to capture a mathematical world: develop fuzzy mathematics (indicate a direction) study the notion of a set, and rudimentary notions of set theory (some properties may be available on a limited scale; classically equivalent notions need not be available in a weak setting) wider set-theoretic universe: recast the classical universe of sets as a subuniverse of the universe of fuzzy sets Explore the limits of (relative) consistency. (Which logics allow for an interpretation of classical ZF? Which logics give a consistent system?) Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

  5. Why fuzzy set theory? try to capture a mathematical world: develop fuzzy mathematics (indicate a direction) study the notion of a set, and rudimentary notions of set theory (some properties may be available on a limited scale; classically equivalent notions need not be available in a weak setting) wider set-theoretic universe: recast the classical universe of sets as a subuniverse of the universe of fuzzy sets Explore the limits of (relative) consistency. (Which logics allow for an interpretation of classical ZF? Which logics give a consistent system?) Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

  6. Why fuzzy set theory? try to capture a mathematical world: develop fuzzy mathematics (indicate a direction) study the notion of a set, and rudimentary notions of set theory (some properties may be available on a limited scale; classically equivalent notions need not be available in a weak setting) wider set-theoretic universe: recast the classical universe of sets as a subuniverse of the universe of fuzzy sets Explore the limits of (relative) consistency. (Which logics allow for an interpretation of classical ZF? Which logics give a consistent system?) Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

  7. Programme Work with classical metamathematics. Consider a logic L, magenta weaker than classical logic. (Also, with well-developed algebraic semantics.) Consider an axiomatic set theory T , governed by L. The theory T should: generate a cumulative universe of sets be provably distinct from the classical set theory be reasonably strong be consistent (relative to ZF) Between classical and non-classical: classical set-theoretic universe is a sub-universe of the non-classical one Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

  8. Programme Work with classical metamathematics. Consider a logic L, magenta weaker than classical logic. (Also, with well-developed algebraic semantics.) Consider an axiomatic set theory T , governed by L. The theory T should: generate a cumulative universe of sets be provably distinct from the classical set theory be reasonably strong be consistent (relative to ZF) Between classical and non-classical: classical set-theoretic universe is a sub-universe of the non-classical one Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

  9. Programme Work with classical metamathematics. Consider a logic L, magenta weaker than classical logic. (Also, with well-developed algebraic semantics.) Consider an axiomatic set theory T , governed by L. The theory T should: generate a cumulative universe of sets be provably distinct from the classical set theory be reasonably strong be consistent (relative to ZF) Between classical and non-classical: classical set-theoretic universe is a sub-universe of the non-classical one Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

  10. Programme Work with classical metamathematics. Consider a logic L, magenta weaker than classical logic. (Also, with well-developed algebraic semantics.) Consider an axiomatic set theory T , governed by L. The theory T should: generate a cumulative universe of sets be provably distinct from the classical set theory be reasonably strong be consistent (relative to ZF) Between classical and non-classical: classical set-theoretic universe is a sub-universe of the non-classical one Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

  11. Programme Work with classical metamathematics. Consider a logic L, magenta weaker than classical logic. (Also, with well-developed algebraic semantics.) Consider an axiomatic set theory T , governed by L. The theory T should: generate a cumulative universe of sets be provably distinct from the classical set theory be reasonably strong be consistent (relative to ZF) Between classical and non-classical: classical set-theoretic universe is a sub-universe of the non-classical one Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

  12. Programme Work with classical metamathematics. Consider a logic L, magenta weaker than classical logic. (Also, with well-developed algebraic semantics.) Consider an axiomatic set theory T , governed by L. The theory T should: generate a cumulative universe of sets be provably distinct from the classical set theory be reasonably strong be consistent (relative to ZF) Between classical and non-classical: classical set-theoretic universe is a sub-universe of the non-classical one Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

  13. Plan for talk Logics without the contraction rule 1 � Lukasiewicz logic 2 A set theory can strengthen its logic 3 A -valued universes 4 the theory FST (over � L) 5 generalizations 6 Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

  14. A family of substructural logics: FL ew and extensions Consider propositional language F . (FL ew -language: {· , → , ∧ , ∨ , 0 , 1 } .) A logic in a language F is a set of formulas closed under substitution and deduction. “Substructural” — absence of some structural rules (of the Gentzen calculus for INT). In particular, FL ew is contraction free. Structural rules: Γ , ϕ, ψ, ∆ ⇒ χ (e) Γ , ∆ ⇒ χ Γ , ϕ, ϕ, ∆ ⇒ χ (c) (w) Γ , ψ, ϕ, ∆ ⇒ χ Γ , ϕ, ∆ ⇒ χ Γ , ϕ, ∆ ⇒ χ Removal of these rules calls for some changes: splitting of connectives changes to interpretation of a sequent NB: FL ew is equivalent to H¨ ohle’s monoidal logic (ML). Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

  15. A family of substructural logics: FL ew and extensions Consider propositional language F . (FL ew -language: {· , → , ∧ , ∨ , 0 , 1 } .) A logic in a language F is a set of formulas closed under substitution and deduction. “Substructural” — absence of some structural rules (of the Gentzen calculus for INT). In particular, FL ew is contraction free. Structural rules: Γ , ϕ, ψ, ∆ ⇒ χ (e) Γ , ∆ ⇒ χ Γ , ϕ, ϕ, ∆ ⇒ χ (c) (w) Γ , ψ, ϕ, ∆ ⇒ χ Γ , ϕ, ∆ ⇒ χ Γ , ϕ, ∆ ⇒ χ Removal of these rules calls for some changes: splitting of connectives changes to interpretation of a sequent NB: FL ew is equivalent to H¨ ohle’s monoidal logic (ML). Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

  16. A family of substructural logics: FL ew and extensions Consider propositional language F . (FL ew -language: {· , → , ∧ , ∨ , 0 , 1 } .) A logic in a language F is a set of formulas closed under substitution and deduction. “Substructural” — absence of some structural rules (of the Gentzen calculus for INT). In particular, FL ew is contraction free. Structural rules: Γ , ϕ, ψ, ∆ ⇒ χ (e) Γ , ∆ ⇒ χ Γ , ϕ, ϕ, ∆ ⇒ χ (c) (w) Γ , ψ, ϕ, ∆ ⇒ χ Γ , ϕ, ∆ ⇒ χ Γ , ϕ, ∆ ⇒ χ Removal of these rules calls for some changes: splitting of connectives changes to interpretation of a sequent NB: FL ew is equivalent to H¨ ohle’s monoidal logic (ML). Zuzana Hanikov´ a Models of set theory in � Lukasiewicz logic

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

On Lukasiewicz Logic with constants and non-Diophantine geometry on MV algebras November 5,

On Lukasiewicz Logic with constants and non-Diophantine geometry on MV algebras November 5,

Naples Konstanz : Days , Model Theory 2013 On Lukasiewicz Logic with constants and non-Diophantine geometry on MV algebras November 5, 2013 This talk is based on a joint work with Peter L. Belluce and Giacomo Lenzi. The spirit of

1.6k views • 110 slides
Geometric aspects of Lukasiewicz logic A short excursion

Geometric aspects of Lukasiewicz logic A short excursion

s Pr Geometric aspects of Lukasiewicz logic A short excursion rr vincenzo.marra@unimi.it

1.59k views • 111 slides
Formal Models of Narrative Benedikt L owe Logic, Language and Computation . 19 September 2011

Formal Models of Narrative Benedikt L owe Logic, Language and Computation . 19 September 2011

Formal Models of Narrative Benedikt L owe Logic, Language and Computation . 19 September 2011 Set Theory. Infinite games. Set theory without the axiom of choice (in particular with the axiom of determinacy). Set theory of the reals. PhD

990 views • 81 slides
Logic Programming Theory Lecture 6: Fixed Points and Herbrand Models Richard Mayr School of

Logic Programming Theory Lecture 6: Fixed Points and Herbrand Models Richard Mayr School of

Logic Programming Theory Lecture 6: Fixed Points and Herbrand Models Richard Mayr School of Informatics 30. October 2014 Recap (Lecture 3): Definite clause predicate logic A definite clause is a formula of one of the two shapes below (a Prolog

411 views • 38 slides
Logic Programming Theory Lecture 6: Fixed Points and Herbrand Models Alex Simpson School of

Logic Programming Theory Lecture 6: Fixed Points and Herbrand Models Alex Simpson School of

Logic Programming Theory Lecture 6: Fixed Points and Herbrand Models Alex Simpson School of Informatics 4th November 2013 Recap (Lecture 3): Definite clause predicate logic A definite clause is a formula of one of the two shapes below B (a

550 views • 38 slides
Smooth models of Linear Logic : Towards a Type Theory for Linear Partial Differential Equations

Smooth models of Linear Logic : Towards a Type Theory for Linear Partial Differential Equations

Proofs and smooth objects An interpretation for ! and A model with Distributions Linear PDE as exponentials Chocola, LYON, June 2017 Smooth models of Linear Logic : Towards a Type Theory for Linear Partial Differential Equations Marie

754 views • 64 slides
Logic Models and Measurement Leslie Carlson Overview of Workshops Today: Logic Models and

Logic Models and Measurement Leslie Carlson Overview of Workshops Today: Logic Models and

Logic Models and Measurement Leslie Carlson Overview of Workshops Today: Logic Models and Measurement October 18: How to Create Effective Surveys November 1: How to use Excel to Analyze Data Today Introductions Logic

748 views • 40 slides
Logic Models Defining Impact and Change 1 28/06/2013 One Tool, Many Names Logic Models or

Logic Models Defining Impact and Change 1 28/06/2013 One Tool, Many Names Logic Models or

28/06/2013 Logic Models Defining Impact and Change 1 28/06/2013 One Tool, Many Names Logic Models or intended impact models Simplification of a program, initiative, or intervention that is a response to a given situation. These tools have

338 views • 15 slides
Logic for Computer Science 03 Set theory Wouter Swierstra University of Utrecht 1 Last

Logic for Computer Science 03 Set theory Wouter Swierstra University of Utrecht 1 Last

Logic for Computer Science 03 Set theory Wouter Swierstra University of Utrecht 1 Last time Propositional logic Truth tables 2 Today Naive set theory 3 Yet in logic, we have a single notion for a collection of things

806 views • 57 slides
Developing Logic Models for School Improvement Systems Jenna Zacamy & Angelica Herrera 1 / 9

Developing Logic Models for School Improvement Systems Jenna Zacamy & Angelica Herrera 1 / 9

Developing Logic Models for School Improvement Systems Jenna Zacamy & Angelica Herrera 1 / 9 / 2019 Agenda 1. Goals and Introductions 2. What Are Logic Models? An Overview 3. Identifying Logic Model Components Break 4. Building a Logic

959 views • 57 slides
Overview of Logic and Set Theory Basics Robert B. France Logic Logic is concerned with mechanized

Overview of Logic and Set Theory Basics Robert B. France Logic Logic is concerned with mechanized

1/5/2012 Overview of Logic and Set Theory Basics Robert B. France Logic Logic is concerned with mechanized reasoning. Reasoning, as used here, involves determining the truth of some statement (the conclusions) based on assumed truths

221 views • 11 slides
Developing logic models for school improvement systems January 30, 2020 Angelica Herrera, Kathy

Developing logic models for school improvement systems January 30, 2020 Angelica Herrera, Kathy

Developing logic models for school improvement systems January 30, 2020 Angelica Herrera, Kathy Terry, and Jenna Zacamy 1 Agenda Welcome and Introduction What Are Logic Models? An Overview Presentation of Logic Models Discussion and

504 views • 34 slides
Computational Logic: (Constraint) Logic Programming Theory, practice, and implementation

Computational Logic: (Constraint) Logic Programming Theory, practice, and implementation

Computational Logic: (Constraint) Logic Programming Theory, practice, and implementation Textbooks and References Department of Artificial Intelligence School of Computer Science Technical University of Madrid 28660-Boadilla del Monte,

370 views • 3 slides
Computational Logic: (Constraint) Logic Programming Theory, practice, and implementation

Computational Logic: (Constraint) Logic Programming Theory, practice, and implementation

Computational Logic: (Constraint) Logic Programming Theory, practice, and implementation Abstract Specialization and its Applications The following people have contributed to this course material: Manuel Hermenegildo (editor), Francisco Bueno,

451 views • 42 slides
Logic Programming Theory Lecture 3: Definite Clause Predicate Logic Richard Mayr School of

Logic Programming Theory Lecture 3: Definite Clause Predicate Logic Richard Mayr School of

Logic Programming Theory Lecture 3: Definite Clause Predicate Logic Richard Mayr School of Informatics 6th October 2014 Predicate logic / predicate calculus / first-order logic So far, we have looked only at propositional logic , where

852 views • 42 slides
The birth of social choice theory from the spirit of mathematical logic: Arrows theorem as a

The birth of social choice theory from the spirit of mathematical logic: Arrows theorem as a

The birth of social choice theory from the spirit of mathematical logic: Arrows theorem as a model-theoretic preservation result Daniel Eckert and Frederik Herzberg Logical Models of Group Decision Making (ESSLLI 2013) August 2013,

592 views • 27 slides
Classical Chaotic Scattering Direct ODE Application Rubin H Landau Sally Haerer,

Classical Chaotic Scattering Direct ODE Application Rubin H Landau Sally Haerer,

Classical Chaotic Scattering Direct ODE Application Rubin H Landau Sally Haerer, Producer-Director Based on A Survey of Computational Physics by Landau, Pez, & Bordeianu with Support from the National Science Foundation Course:

616 views • 47 slides
A direct proof that intuitionistic predicate calculus is complete with respect to presheaves of

A direct proof that intuitionistic predicate calculus is complete with respect to presheaves of

A direct proof that intuitionistic predicate calculus is complete with respect to presheaves of classical models Ivano Ciardelli (ILLC, Universiteit van Amsterdam) Christian Retor e (LIRMM, Universit e de Montpellier) Topology and

575 views • 31 slides
Tableau Theorem Prover for Intuitionistic Propositional Logic Larry Diehl Portland State

Tableau Theorem Prover for Intuitionistic Propositional Logic Larry Diehl Portland State

Tableau Theorem Prover for Intuitionistic Propositional Logic Larry Diehl Portland State University CS 510 - Mathematical Logic and Programming Languages Larry Diehl Tableau Theorem Prover for Intuitionistic Propositional Logic Motivation

289 views • 17 slides
Models and refined models for involutory reflection groups and classical Weyl groups FABRIZIO

Models and refined models for involutory reflection groups and classical Weyl groups FABRIZIO

Models and refined models for involutory reflection groups and classical Weyl groups Models and refined models for involutory reflection groups and classical Weyl groups FABRIZIO CASELLI AND ROBERTA FULCI FPSAC10 - San Francisco Models and

1.25k views • 91 slides
Formalizing Classical Modal Logic in Constructive Logic Christian Doczkal Gert Smolka

Formalizing Classical Modal Logic in Constructive Logic Christian Doczkal Gert Smolka

Formalizing Classical Modal Logic in Constructive Logic Christian Doczkal Gert Smolka Programming Systems Lab, Saarland University Coq-3 Workshop, Nijmegen, August 26, 2011 Christian Doczkal (Saarland University) Classical Modal Logic in

464 views • 32 slides
How to learn fundamentals of AI? Useful books*** *** It is a joke Any AI (ML) method in two lines

How to learn fundamentals of AI? Useful books*** *** It is a joke Any AI (ML) method in two lines

Fundamentals of AI Introduction and the most basic concepts How to learn fundamentals of AI? Useful books*** *** It is a joke Any AI (ML) method in two lines of code in any programming language from libraryA import modelB as model model.fit(X,Y)

416 views • 15 slides
Entropic GANs meet VAEs: A Statistical Approach to Compute Sample Likelihoods in GANs Yogesh

Entropic GANs meet VAEs: A Statistical Approach to Compute Sample Likelihoods in GANs Yogesh

Entropic GANs meet VAEs: A Statistical Approach to Compute Sample Likelihoods in GANs Yogesh Balaji with Hamed Hassani, Rama Chellappa and Soheil Feizi Generative Adversarial Networks GANs are very successful at generating samples from a data

159 views • 14 slides
Classical Labor Supply with Micro Data ECON 34430: Topics in Labor Markets T. Lamadon (U of

Classical Labor Supply with Micro Data ECON 34430: Topics in Labor Markets T. Lamadon (U of

Classical Labor Supply with Micro Data ECON 34430: Topics in Labor Markets T. Lamadon (U of Chicago) Winter 2016 What is labor supply? Goal seems simple, how do individuals choose to work when conditions change ? - Yet it is a very

881 views • 39 slides

More recommend