Australasian Association for Logic
Australasian Association for Logic
  • Видео 107
  • Просмотров 15 221

Видео

James Carr Locality in Residuated Lattice Models
Просмотров 34День назад
James Carr Locality in Residuated Lattice Models
Jonte Deakin Weak and Strong Bi Intuitionistic Logics from an Abstract Algebraic Logic Perspective
Просмотров 49День назад
Jonte Deakin Weak and Strong Bi Intuitionistic Logics from an Abstract Algebraic Logic Perspective
Joseph McDonald Canonical Completion and Duality for Cylindric Ortholattices
Просмотров 28День назад
Joseph McDonald Canonical Completion and Duality for Cylindric Ortholattices
Sara L Uckelman and Ben Steer "Bad grammar as well as bad logic" Christine Ladd Franklin on Bert
Просмотров 50День назад
Sara L Uckelman and Ben Steer "Bad grammar as well as bad logic" Christine Ladd Franklin on Bert
Dominik Kirst and Ian Shillito A Succinct and Verified Completeness Proof for First Order Bi Intu
Просмотров 23День назад
Dominik Kirst and Ian Shillito A Succinct and Verified Completeness Proof for First Order Bi Intu
John Slaney SubDL Is Dead; Long Live subDL
Просмотров 18День назад
John Slaney SubDL Is Dead; Long Live subDL
Fernando Cano Jorge Inconsistent Sets and How to Compute Them
Просмотров 35День назад
Fernando Cano Jorge Inconsistent Sets and How to Compute Them
Isabella Scott Computability Theory of Existentially Closed Groups
Просмотров 56День назад
Isabella Scott Computability Theory of Existentially Closed Groups
Annalisa Conversano Applications of o minimality to groups and rings
Просмотров 29День назад
Annalisa Conversano Applications of o minimality to groups and rings
Alberto Paparella Reasoning with Many Valued Interval Temporal Logic
Просмотров 87День назад
Alberto Paparella Reasoning with Many Valued Interval Temporal Logic
Ben Blumson Three Valued Conditionals
Просмотров 12День назад
Ben Blumson Three Valued Conditionals
Gemma Robles A Connexive 4 valued Implication Expansion of Belnap Dunn Logic with the Variable Sha
Просмотров 2414 дней назад
Gemma Robles A Connexive 4 valued Implication Expansion of Belnap Dunn Logic with the Variable Sha
Mikhail Katz A Leibniz:NSA Comparison
Просмотров 12214 дней назад
Mikhail Katz A Leibniz:NSA Comparison
Ramaz Liparteliani On the Theory of Epistemic Lukasiewicz Logic Corresponding to the Chang Algebra
Просмотров 3814 дней назад
Ramaz Liparteliani On the Theory of Epistemic Lukasiewicz Logic Corresponding to the Chang Algebra
Frank Stephan Languages Given by Finite Automata Over the Unary Alphabet
Просмотров 1014 дней назад
Frank Stephan Languages Given by Finite Automata Over the Unary Alphabet
Tomasz Kowalski Embedding lattice ordered groups into lattice ordered groups whose all automorphis
Просмотров 3114 дней назад
Tomasz Kowalski Embedding lattice ordered groups into lattice ordered groups whose all automorphis
Nick Smith Proving Oneself
Просмотров 11614 дней назад
Nick Smith Proving Oneself
Nathaniel Gan Relative Completeness
Просмотров 1614 дней назад
Nathaniel Gan Relative Completeness
Andre Nies Finite Automaton Presentable Groups Examples and Non Examples
Просмотров 2314 дней назад
Andre Nies Finite Automaton Presentable Groups Examples and Non Examples
Noam Greenberg Effective descriptive set theory and Wadge classes
Просмотров 2614 дней назад
Noam Greenberg Effective descriptive set theory and Wadge classes
Masanobu Toyooka Star Semantics for Empirical Negation
Просмотров 3014 дней назад
Masanobu Toyooka Star Semantics for Empirical Negation
Cláudia Nalon and Dirk Pattinson Non Monotonic Modal Logics From Sequent to Resolution Calculi
Просмотров 2514 дней назад
Cláudia Nalon and Dirk Pattinson Non Monotonic Modal Logics From Sequent to Resolution Calculi
Tim French Proof Theory For Aleatoric Logic
Просмотров 5814 дней назад
Tim French Proof Theory For Aleatoric Logic
Davide Sutto Axiomatizing the Weak Iterative Conception of Set
Просмотров 4714 дней назад
Davide Sutto Axiomatizing the Weak Iterative Conception of Set
Karen Green Some ‘Objects of Thought’ Are Not Objects
Просмотров 3714 дней назад
Karen Green Some ‘Objects of Thought’ Are Not Objects
Zoltan Kocsis The Probability of Excluded Middle and the Satisfiability Gap of Classical Principle
Просмотров 2614 дней назад
Zoltan Kocsis The Probability of Excluded Middle and the Satisfiability Gap of Classical Principle
Sankha Basu Paracomplete Probabilities
Просмотров 2514 дней назад
Sankha Basu Paracomplete Probabilities
Sigfrido Ciletti A Zero One Law for Propositional Intuitionistic Logic
Просмотров 2014 дней назад
Sigfrido Ciletti A Zero One Law for Propositional Intuitionistic Logic
Rashed Ahmad A Case for Weak Kleene ST
Просмотров 5914 дней назад
Rashed Ahmad A Case for Weak Kleene ST

Комментарии

  • @Ерофеева-и7ч
    @Ерофеева-и7ч 11 дней назад

    Thanks for the forecast! I have a quick question: I have a SafePal wallet with USDT, and I have the seed phrase. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). How should I go about transferring them to Binance?

  • @Синельникова-з4й
    @Синельникова-з4й 11 дней назад

    Thanks for the forecast! A bit off-topic, but I wanted to ask: My OKX wallet holds some USDT, and I have the seed phrase. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). Could you explain how to move them to Binance?

  • @kurtgodel5236
    @kurtgodel5236 12 дней назад

    3:10 "dede kind"????

  • @KatelynnWitty
    @KatelynnWitty 15 дней назад

    You're doing a fantastic job! Could you help me with something unrelated: My OKX wallet holds some USDT, and I have the seed phrase. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). How should I go about transferring them to Binance?

  • @JennyBrown-q6w
    @JennyBrown-q6w 16 дней назад

    Aprecio mucho tus esfuerzos! Tengo una pregunta rápida: Tengo una billetera SafePal con USDT y tengo la frase de recuperación. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). ¿Cómo puedo transferirlos a Binance?

  • @DarrenMcStravick
    @DarrenMcStravick 16 дней назад

    UWA producing some bangers as per usual

  • @MrMentalpuppy
    @MrMentalpuppy 7 месяцев назад

    Insightful video!

  • @die_schlechtere_Milch
    @die_schlechtere_Milch 8 месяцев назад

    9:32 What? Phenomenology, the metaphysical underpinnning of National Socialism? Because Husserl's most famous non-jewish student was a Nazi?

  • @mathematicsandstuff
    @mathematicsandstuff 9 месяцев назад

    Personally, I like the Brian Magee series... He set up to investigate exactly the same stuff George Riley Scott investigated in the fifties, but somehow, nobody knows how, the Home Office Dossiers got buried!!! Can you spot the *cannibal* in the Brian Magee series?? That's Iris Murdoch, sir.

  • @ValentinBrutusBura
    @ValentinBrutusBura 11 месяцев назад

    Flamingoes, mobile Sierpinski Triangles, and on-the-ground hardware, right here in Te Aro, makes a 40 year old man fall of their feet due to stroke, blame it on tobacco. Hah.

  • @ValentinBrutusBura
    @ValentinBrutusBura 11 месяцев назад

    The car that I want?? So I am the one who wants a car! It's time for Flamingoes gentlemen. Problems?? :))

  • @ValentinBrutusBura
    @ValentinBrutusBura 11 месяцев назад

    In any case. My research will always be public, dear fellow researchers. That's because: 1) the Earth is actually flat, as you should know by now, and 2) I don't like Aliens ruining Cathedrals. Cool?

  • @ValentinBrutusBura
    @ValentinBrutusBura 11 месяцев назад

    Maybe there's a language barrier here. Maybe I am the native Englishman. Who knows.

  • @ValentinBrutusBura
    @ValentinBrutusBura 11 месяцев назад

    Mister Cress. Three questions. Year of Birth. Are you still getting aroused from time to time. Describe your Math achievements in not more than two sentences.

  • @razzullie
    @razzullie 11 месяцев назад

    wow!

  • @razzullie
    @razzullie 11 месяцев назад

    Have not seen him for a long time!

  • @aniketsharma5870
    @aniketsharma5870 11 месяцев назад

    Is it possible for the handouts for this video to be shared. I am currently working on a thesis on theories of quantification and Marcus-Quine Debate about the Substitutional Versus Objectual Interpretations (respectively) of First Order Binary Quantifiers - and would really benefit from said handouts.

  • @hebozhe
    @hebozhe 11 месяцев назад

    I generalized this for intuitionistic fragment {\/, /\, and ~} using classical truth-tables and a corollary of Gilvenko's theorem. I'll see if there's applicability of this to the conditional. "Hacking Truth-Tables" in Google should link to the article.

  • @hebozhe
    @hebozhe 11 месяцев назад

    I do have a use case for it, but starting from the atomics.

  • @Mentat1231
    @Mentat1231 11 месяцев назад

    Is there any way to think of the Barcan schema that doesn't run afoul of the usual domain concerns? It's easy to derive from the Barcan sentence that ◇∃x(Bx) -> ∃x(◇Bx), which seems clearly false. Does translating this into Advicenna's way help?

  • @Medievalists
    @Medievalists Год назад

    Any details on when and where this took place?

  • @corneliuscain5351
    @corneliuscain5351 Год назад

    Promo-SM

  • @valentinussofa4135
    @valentinussofa4135 Год назад

    Can I have the access to this paper or slide presentation? Thanks before. 🙏

  • @amanasleep3369
    @amanasleep3369 Год назад

    based

  • @KAClown
    @KAClown Год назад

    I would be interested to see this done with probability amplitudes and quantum probability theory.

  • @KAClown
    @KAClown Год назад

    Cool, now do the dual calculus for counter-intuitive logic (LDJ or coLJ).

  • @TrggrWarning
    @TrggrWarning Год назад

    What the heck is going on here? lol

  • @liammcooper
    @liammcooper Год назад

    As someone interested in how theoreticians 'play'/'perform' the role of theoretician, I find the concept that "there was something highly emotional about Quine's feeling toward modal logic" fascinating. I think a lot of discourse in many domains contains high amount of pathos; we can just see how people adamantly denounced Cantor's theory of 'transfinite', or the emotional toll that defending his theories had on Ludwig Boltzmann (just two examples from mathematics) shows that despite being in the 'rational' tradition, often academics get highly emotionally invested -- which may or may not produce further disputes/schisms in traditions, which their ideas attempted to reconcile originally.

  • @cyberpunkworld
    @cyberpunkworld Год назад

    There existed a man who, officially, was terrified of the possibility of Ghosts in his Refrigerator, so he's done something about it, yet he was so artistic in what he's done that not many people understand his very simple yet highly technical argument :)

  • @terencenxumalo1159
    @terencenxumalo1159 Год назад

    good work

  • @teetsanbeer
    @teetsanbeer 2 года назад

    I agree with you, it's amazing to have this record. I once read in Takeuti's autobiography that Kleene was a very tall guy with a profound voice describing him as a pole with a megaphone.

  • @daveclark9411
    @daveclark9411 2 года назад

    ρɾσɱσʂɱ

  • @valentinussofa4135
    @valentinussofa4135 2 года назад

    Wow. Thanks Sir. Great lecture. I love it. 😇🙏

  • @amanasleep3369
    @amanasleep3369 2 года назад

    Fascinating, never heard Kleene's voice before. The voice in my mind when reading his work will sound quite different from now on! also, lol @ 3:20

    • @teetsanbeer
      @teetsanbeer 2 года назад

      Neither do I and I am fascinated. Gaisi Takeuti in his autobiography says that Kleene was very tall and had a profound voice, describing him as a pole with a megaphone.

  • @LEEEEMO
    @LEEEEMO 2 года назад

    Ruth was not an easy person to deal with. She made enemies because of her personality.