Szukaj

Wyniki wyszukiwania

• Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity

  Thomas Macaulay Ferguson

  389-407

  08.08.2018
• Normative Consistency: An Xstit Account

  Gillman Payette

  375-413

  28.07.2017
• Leibniz's laws of consistency and the philosophical foundations of connexive logic

  Wolfgang Lenzen

  537-551

  28.01.2019
• The Case of Dialetheism

  Marcin Tkaczyk

  203-224

  07.06.2016
• Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant

  Gemma Robles

  311-322

  26.02.2008
• About the coexistence of “classical sets” with “non-classical” ones: A survey

  Roland Hinnion

  79-90

  23.11.2003
• From Inconsistency to Incompatibility

  Marcelo E. Coniglio, Guilherme V. Toledo

  181-216

  27.09.2022
• Incompleteness, constructivism and truth

  Fabrice Pataut

  63-76

  06.11.1998
• Grounding and Propositional Identity: A Solution to Wilhelm’s Inconsistencies

  Francesca Poggiolesi

  33-38

  09.03.2022
• Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation

  José M. Méndez, Gemma Robles

  175-191

  15.03.2007
• A Note on Gödel’s First Disjunct Formalised in DTK System

  Antonella Corradini, Sergio Galvan

  555-565

  23.10.2024
• Robert Trueman’s Defence of Higher-Order Logic

  Marcin Tkaczyk

  163-168

  23.05.2023
• Many-Valued Logics and Bivalent Modalities

  Edson Bezerra, Giorgio Venturi

  611-636

  11.04.2022
• Ramseying liars

  Barry Hartley Slater

  57-70

  21.12.2004
• Troubles with (the concept of) truth in mathematics

  Roman Murawski

  285-303

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

  Edson Bezerra, Giorgio Venturi

  97-107

  08.10.2020
• Particular Reasoning Within Theories

  João Rasga, Cristina Sernadas

  1-37

  28.03.2025