Szukaj

Wyniki wyszukiwania

• Meet-Combination of Consequence Systems

  Paula Gouveia, João Rasga, Cristina Sernadas

  73-108

  29.05.2024
• Partial and paraconsistent three-valued logics

  Vincent Degauquier

  143-171

  27.02.2016
• A Syntactical Analysis of Lewis’s Triviality Result

  Claudio E. A. Pizzi

  417-434

  24.03.2021
• Disjoint Logics

  Federico Pailos

  109-137

  27.07.2020
• A Realistic View on Normative Conflicts

  Daniela Glavaničová, Matteo Pascucci

  447-462

  04.02.2020
• The axiomatization of Horst Wessel’s strict logical consequence relation

  Andrzej Pietruszczak

  121-138

  21.12.2004
• Vagueness and Formal Fuzzy Logic: Some Criticisms

  Giangiacomo Gerla

  431-460

  15.11.2017
• Beyond Mixed Logics

  Joaquín Santiago Toranzo Calderón, Federico Pailos

  637-664

  11.04.2022
• Some remarks on axiomatizing logical consequence operations

  Jacek Malinowski

  103-117

  23.06.2005
• The abundance of the future. A paraconsistent approach to future contingents

  Roberto Ciuni, Carlo Proietti

  21-43

  31.03.2013
• The consequence relation preserving logical information

  Andrzej Pietruszczak

  89-120

  21.12.2004
• The critics of paraconsistency and of many-valuedness and the geometry of oppositions

  Alessio Moretti

  63-94

  30.06.2010
• Three-element non-finitely axiomatizable matrices and term-equivalence

  Katarzyna Pałasińska

  481-497

  30.04.2014
• Toward a Stronger Constraint for Non-Trivial Inconsistent Theories

  Antônio Mesquita

  417-447

  02.09.2025
• Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets

  Tomasz Jarmużek

  85-101

  25.07.2007
• Logic in cognitive science

  Jacek Malinowski, Rafał Palczewski

  3–5

  30.06.2011
• Game Semantics, Quantifiers and Logical Omniscience

  Bruno Ramos Mendonça

  557-578

  13.06.2022
• Weak Kleene Logic and Topic-Sensitive Logics

  ROBERTO CIUNI

  523-554

  05.06.2024
• Analysis of Penrose’s Second Argument Formalised in DTK System

  Antonella Corradini, Sergio Galvan

  471-500

  16.12.2021
• Contradictions in Multiverse Translation of Paraconsistent Logic daC into Many-Sorted Logic

  Julian Mauricio Valdes-Toro

  1-37

  12.09.2025
• Logical Pluralism and Interpretations of Logical Systems

  Diego Tajer, Camillo Fiore

  209-234

  07.02.2022