Szukaj

Wyniki wyszukiwania

• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  08.10.2020
• Interpolation and implicit definability in extensions of the provability logic

  Larisa Maksimova

  129-142

  19.06.2008
• Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability

  Pawel Pawlowski, Rafal Urbaniak

  501-527

  29.11.2021
• On the proof-theory of a first-order extension of GL

  Yehuda Schwartz, George Tourlakis

  329–363

  18.09.2013
• Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic

  Alexander S. Gerasimov

  269-318

  16.11.2022
• Analogy and diagonal argument

  Zbigniew Tworak

  39-66

  26.03.2006